Index of /cofi/CASL-CD/Tools/Hets/src/HasCASL/test

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[   ]Alias.hascasl 2004-11-17 12:51 369  
[   ]Alias.hascasl.output 2004-11-17 12:51 2.7K 
[   ]B1.hascasl 2004-11-17 12:51 349  
[   ]B1.hascasl.output 2004-11-17 12:51 2.4K 
[   ]BasicSpec.casl.output 2004-11-17 12:51 53K 
[   ]BasicSpec.hascasl 2004-11-17 12:51 1.1K 
[   ]BasicSpec.hascasl.ou..>2004-11-17 12:51 6.4K 
[   ]BasicSpec.hascasl.pa..>2004-11-17 12:51 1.2K 
[   ]Expr.hascasl 2004-11-17 12:51 189  
[   ]Expr.hascasl.output 2004-11-17 12:51 2.0K 
[   ]Graphs.hascasl 2004-11-17 12:51 1.0K 
[   ]Graphs.hascasl.output 2004-11-17 12:51 9.8K 
[   ]Items.hascasl 2004-11-17 12:51 275  
[   ]Items.hascasl.output 2004-11-17 12:51 364  
[   ]Kinds.hascasl 2004-11-17 12:51 67  
[   ]Kinds.hascasl.output 2004-11-17 12:51 61  
[   ]ListEx.hascasl 2004-11-17 12:51 610  
[   ]ListEx.hascasl.output 2004-11-17 12:51 5.4K 
[   ]Makefile 2004-11-17 12:51 189  
[   ]MixIds.casl.output 2004-11-17 12:51 1.0K 
[   ]MixfixFormula.casl.o..>2004-11-17 12:51 383  
[   ]MixfixTerms.casl.output2004-11-17 12:51 2.6K 
[   ]MixfixTerms.hascasl 2004-11-17 12:51 401  
[   ]MixfixTerms.hascasl...>2004-11-17 12:51 793  
[   ]OpDecls.hascasl 2004-11-17 12:51 780  
[   ]OpDecls.hascasl.output 2004-11-17 12:51 3.7K 
[   ]PatternEq.hascasl 2004-11-17 12:51 338  
[   ]PatternEq.hascasl.ou..>2004-11-17 12:51 2.1K 
[   ]PlainTypes.hascasl 2004-11-17 12:51 410  
[   ]PlainTypes.hascasl.o..>2004-11-17 12:51 2.5K 
[   ]PossibleDownsetConfl..>2004-11-17 12:51 338  
[   ]PossibleDownsetConfl..>2004-11-17 12:51 1.8K 
[   ]Prelude.hascasl 2004-11-17 12:51 4.8K 
[   ]Prelude.hascasl.output 2004-11-17 12:51 14K 
[   ]SuperClassErrors.has..>2004-11-17 12:51 367  
[   ]SuperClassErrors.has..>2004-11-17 12:51 2.0K 
[   ]Terms.hascasl 2004-11-17 12:51 1.4K 
[   ]Terms.hascasl.output 2004-11-17 12:51 1.5K 
[   ]Types.hascasl 2004-11-17 12:51 1.3K 
[   ]Types.hascasl.output 2004-11-17 12:51 1.7K 
[   ]WrongBasicSpec.hascasl 2004-11-17 12:51 33  
[   ]WrongBasicSpec.hasca..>2004-11-17 12:51 34  
[   ]WrongItems.hascasl 2004-11-17 12:51 89  
[   ]WrongItems.hascasl.o..>2004-11-17 12:51 824  
[   ]WrongKinds.hascasl 2004-11-17 12:51 417  
[   ]WrongKinds.hascasl.o..>2004-11-17 12:51 2.2K 
[   ]WrongMixIds.casl.output2004-11-17 12:51 2.5K 
[   ]WrongMixIds.hascasl 2004-11-17 12:51 189  
[   ]WrongMixfixTerms.has..>2004-11-17 12:51 136  
[   ]WrongMixfixTerms.has..>2004-11-17 12:51 912  
[   ]WrongTerms.hascasl 2004-11-17 12:51 349  
[   ]WrongTerms.hascasl.o..>2004-11-17 12:51 6.1K 
[   ]WrongTypes.hascasl 2004-11-17 12:51 133  
[   ]WrongTypes.hascasl.o..>2004-11-17 12:51 2.2K 
[   ]XInternal.hascasl 2004-11-17 12:51 52  
[   ]XInternal.hascasl.ou..>2004-11-17 12:51 1.2K 
[   ]XUnion.hascasl 2004-11-17 12:51 269  
[   ]XUnion.hascasl.output 2004-11-17 12:51 2.6K 
[   ]runcheck.sh 2004-11-17 12:51 810