![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/script.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| runcheck.sh | 2004-11-17 12:51 | 829 | |
| XTest.casl | 2004-11-17 12:51 | 160 | |
| WrongTerms.casl.output | 2004-11-17 12:51 | 1.5K | |
| WrongTerms.casl | 2004-11-17 12:51 | 109 | |
| WrongSortItem.casl.o..> | 2004-11-17 12:51 | 351 | |
| WrongSortItem.casl | 2004-11-17 12:51 | 82 | |
| WrongPredItem.casl.o..> | 2004-11-17 12:51 | 576 | |
| WrongPredItem.casl | 2004-11-17 12:51 | 82 | |
| WrongOpItem.casl.output | 2004-11-17 12:51 | 270 | |
| WrongOpItem.casl | 2004-11-17 12:51 | 31 | |
| WrongMixfixTerms.cas..> | 2004-11-17 12:51 | 2.3K | |
| WrongMixfixTerms.casl | 2004-11-17 12:51 | 454 | |
| WrongMixfixFormula.c..> | 2004-11-17 12:51 | 115 | |
| WrongMixfixFormula.casl | 2004-11-17 12:51 | 38 | |
| WrongMixIds.casl.asT..> | 2004-11-17 12:51 | 2.7K | |
| WrongFormula.casl.ou..> | 2004-11-17 12:51 | 2.8K | |
| WrongFormula.casl | 2004-11-17 12:51 | 175 | |
| WrongBasicSpec.casl...> | 2004-11-17 12:51 | 154 | |
| WrongBasicSpec.casl | 2004-11-17 12:51 | 18 | |
| Terms.casl.output | 2004-11-17 12:51 | 654 | |
| Terms.casl.asMixfixT..> | 2004-11-17 12:51 | 1.9K | |
| Terms.casl | 2004-11-17 12:51 | 675 | |
| SortItem.casl.output | 2004-11-17 12:51 | 634 | |
| SortItem.casl | 2004-11-17 12:51 | 629 | |
| PredItem.casl.output | 2004-11-17 12:51 | 257 | |
| PredItem.casl | 2004-11-17 12:51 | 180 | |
| OpItem.casl.output | 2004-11-17 12:51 | 379 | |
| OpItem.casl | 2004-11-17 12:51 | 326 | |
| MixfixTerms.casl.output | 2004-11-17 12:51 | 636 | |
| MixfixTerms.casl | 2004-11-17 12:51 | 568 | |
| MixfixFormula.casl.o..> | 2004-11-17 12:51 | 176 | |
| MixfixFormula.casl | 2004-11-17 12:51 | 181 | |
| MixIds.casl.asTerms...> | 2004-11-17 12:51 | 1.1K | |
| Makefile | 2004-11-17 12:51 | 190 | |
| Formula.casl.output | 2004-11-17 12:51 | 502 | |
| Formula.casl.asMixfi..> | 2004-11-17 12:51 | 744 | |
| Formula.casl | 2004-11-17 12:51 | 414 | |
| BasicSpec.signature...> | 2004-11-17 12:51 | 23K | |
| BasicSpec.sentences...> | 2004-11-17 12:51 | 221K | |
| BasicSpec.casl.output | 2004-11-17 12:51 | 53K | |
| BasicSpec.casl | 2004-11-17 12:51 | 74K | |
| BasicSpec.analysis.o..> | 2004-11-17 12:51 | 57K | |