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