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