Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
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 | ||
MixfixTerms.casl.output | 2004-11-17 12:51 | 636 | ||
OpItem.casl | 2004-11-17 12:51 | 326 | ||
PredItem.casl.output | 2004-11-17 12:51 | 257 | ||
SortItem.casl.output | 2004-11-17 12:51 | 634 | ||
Terms.casl.asMixfixT..> | 2004-11-17 12:51 | 1.9K | ||
WrongMixfixFormula.casl | 2004-11-17 12:51 | 38 | ||
WrongMixfixTerms.casl | 2004-11-17 12:51 | 454 | ||
WrongSortItem.casl | 2004-11-17 12:51 | 82 | ||
runcheck.sh | 2004-11-17 12:51 | 829 | ||
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 | ||
MixfixFormula.casl.o..> | 2004-11-17 12:51 | 176 | ||
MixfixTerms.casl | 2004-11-17 12:51 | 568 | ||
OpItem.casl.output | 2004-11-17 12:51 | 379 | ||
PredItem.casl | 2004-11-17 12:51 | 180 | ||
SortItem.casl | 2004-11-17 12:51 | 629 | ||
Terms.casl | 2004-11-17 12:51 | 675 | ||
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 | ||
WrongMixfixFormula.c..> | 2004-11-17 12:51 | 115 | ||
WrongMixfixTerms.cas..> | 2004-11-17 12:51 | 2.3K | ||
WrongOpItem.casl | 2004-11-17 12:51 | 31 | ||
WrongOpItem.casl.output | 2004-11-17 12:51 | 270 | ||
WrongPredItem.casl | 2004-11-17 12:51 | 82 | ||
WrongPredItem.casl.o..> | 2004-11-17 12:51 | 576 | ||
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 | ||
WrongMixIds.casl.asT..> | 2004-11-17 12:51 | 2.7K | ||