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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[   ]BasicSpec.analysis.o..>2004-11-17 12:51 57K 
[   ]BasicSpec.casl 2004-11-17 12:51 74K 
[   ]BasicSpec.casl.output 2004-11-17 12:51 53K 
[   ]BasicSpec.sentences...>2004-11-17 12:51 221K 
[   ]BasicSpec.signature...>2004-11-17 12:51 23K 
[   ]Formula.casl 2004-11-17 12:51 414  
[   ]Formula.casl.asMixfi..>2004-11-17 12:51 744  
[   ]Formula.casl.output 2004-11-17 12:51 502  
[   ]Makefile 2004-11-17 12:51 190  
[   ]MixIds.casl.asTerms...>2004-11-17 12:51 1.1K 
[   ]MixfixFormula.casl 2004-11-17 12:51 181  
[   ]MixfixFormula.casl.o..>2004-11-17 12:51 176  
[   ]MixfixTerms.casl 2004-11-17 12:51 568  
[   ]MixfixTerms.casl.output2004-11-17 12:51 636  
[   ]OpItem.casl 2004-11-17 12:51 326  
[   ]OpItem.casl.output 2004-11-17 12:51 379  
[   ]PredItem.casl 2004-11-17 12:51 180  
[   ]PredItem.casl.output 2004-11-17 12:51 257  
[   ]SortItem.casl 2004-11-17 12:51 629  
[   ]SortItem.casl.output 2004-11-17 12:51 634  
[   ]Terms.casl 2004-11-17 12:51 675  
[   ]Terms.casl.asMixfixT..>2004-11-17 12:51 1.9K 
[   ]Terms.casl.output 2004-11-17 12:51 654  
[   ]WrongBasicSpec.casl 2004-11-17 12:51 18  
[   ]WrongBasicSpec.casl...>2004-11-17 12:51 154  
[   ]WrongFormula.casl 2004-11-17 12:51 175  
[   ]WrongFormula.casl.ou..>2004-11-17 12:51 2.8K 
[   ]WrongMixIds.casl.asT..>2004-11-17 12:51 2.7K 
[   ]WrongMixfixFormula.casl2004-11-17 12:51 38  
[   ]WrongMixfixFormula.c..>2004-11-17 12:51 115  
[   ]WrongMixfixTerms.casl 2004-11-17 12:51 454  
[   ]WrongMixfixTerms.cas..>2004-11-17 12:51 2.3K 
[   ]WrongOpItem.casl 2004-11-17 12:51 31  
[   ]WrongOpItem.casl.output2004-11-17 12:51 270  
[   ]WrongPredItem.casl 2004-11-17 12:51 82  
[   ]WrongPredItem.casl.o..>2004-11-17 12:51 576  
[   ]WrongSortItem.casl 2004-11-17 12:51 82  
[   ]WrongSortItem.casl.o..>2004-11-17 12:51 351  
[   ]WrongTerms.casl 2004-11-17 12:51 109  
[   ]WrongTerms.casl.output 2004-11-17 12:51 1.5K 
[   ]XTest.casl 2004-11-17 12:51 160  
[   ]runcheck.sh 2004-11-17 12:51 829