![]() | 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 | |