|
.. |
2014-08-29 11:24:48 |
58 |
|
BasicSpec.analysis.output |
2014-08-07 13:11:06 |
66.5 KiB |
|
BasicSpec.casl |
2012-02-22 14:10:08 |
74.2 KiB |
|
BasicSpec.casl.output |
2012-02-22 14:10:08 |
56.1 KiB |
|
BasicSpec.sentences.output |
2014-08-07 14:17:59 |
84.4 KiB |
|
BasicSpec.signature.output |
2013-04-19 22:10:16 |
22.9 KiB |
|
Formula.casl |
2006-03-15 16:41:04 |
470 |
|
Formula.casl.asMixfixFormula.output |
2013-04-19 22:10:16 |
696 |
|
Formula.casl.output |
2006-08-04 15:50:33 |
514 |
|
Makefile |
2004-05-06 02:26:39 |
131 |
|
MixfixFormula.casl |
2008-09-23 18:08:36 |
200 |
|
MixfixFormula.casl.output |
2008-09-23 18:08:36 |
188 |
|
MixfixTerms.casl |
2003-07-28 02:57:41 |
568 |
|
MixfixTerms.casl.output |
2007-02-26 12:18:41 |
630 |
|
MixIds.casl.asTerms.output |
2012-02-22 14:10:08 |
1.1 KiB |
|
OpItem.casl |
2004-01-16 12:36:01 |
326 |
|
OpItem.casl.output |
2007-04-04 11:11:59 |
443 |
|
PredItem.casl |
2003-05-06 20:50:02 |
180 |
|
PredItem.casl.output |
2008-09-24 02:18:09 |
284 |
|
runcheck.sh |
2005-03-16 17:07:56 |
887 |
|
SortItem.casl |
2003-05-06 20:50:02 |
629 |
|
SortItem.casl.output |
2006-04-05 16:19:01 |
654 |
|
Terms.casl |
2006-04-03 16:35:27 |
827 |
|
Terms.casl.asMixfixTerms.output |
2013-04-19 22:10:16 |
1.9 KiB |
|
Terms.casl.output |
2006-04-03 16:35:27 |
828 |
|
WrongBasicSpec.casl |
2003-05-06 20:50:02 |
18 |
|
WrongBasicSpec.casl.output |
2013-02-01 10:15:04 |
53 |
|
WrongFormula.casl |
2006-03-15 16:41:04 |
187 |
|
WrongFormula.casl.output |
2013-02-01 10:15:04 |
1.5 KiB |
|
WrongMixfixFormula.casl |
2005-11-02 22:55:03 |
10 |
|
WrongMixfixFormula.casl.output |
2013-04-19 22:10:16 |
70 |
|
WrongMixfixTerms.casl |
2008-09-05 02:11:24 |
383 |
|
WrongMixfixTerms.casl.output |
2013-04-19 22:10:16 |
2.3 KiB |
|
WrongMixIds.casl.asTerms.output |
2013-02-01 10:15:04 |
2.7 KiB |
|
WrongOpItem.casl |
2004-01-16 12:36:01 |
31 |
|
WrongOpItem.casl.output |
2013-02-01 10:15:04 |
131 |
|
WrongPredItem.casl |
2004-05-27 16:27:46 |
64 |
|
WrongPredItem.casl.output |
2013-02-01 10:15:04 |
300 |
|
WrongSortItem.casl |
2004-01-16 12:36:01 |
82 |
|
WrongSortItem.casl.output |
2013-02-01 10:15:04 |
149 |
|
WrongTerms.casl |
2003-05-06 20:50:02 |
109 |
|
WrongTerms.casl.output |
2013-02-01 10:15:04 |
1.3 KiB |
|
X1.casl |
2005-03-16 17:07:56 |
176 |
|
X1.casl.output |
2012-12-04 14:26:54 |
185 |
|
X2.casl |
2005-03-16 17:07:56 |
148 |
|
X2.casl.output |
2014-08-07 14:17:59 |
3.6 KiB |
|
X3.casl |
2005-03-16 17:07:56 |
68 |
|
X3.casl.output |
2009-02-02 21:27:00 |
87 |
|
X4.casl |
2005-08-19 02:56:54 |
111 |
|
X4.casl.output |
2012-12-04 14:26:54 |
192 |
|
XGenType.casl |
2014-08-07 00:36:40 |
115 |
|
XGenType.casl.output |
2014-08-07 13:11:06 |
1.2 KiB |
|
XOver1.casl |
2005-04-25 17:45:41 |
85 |
|
XOver1.casl.output |
2012-12-04 14:26:54 |
230 |
|
XSorts.casl |
2007-12-04 18:23:31 |
26 |
|
XSorts.casl.output |
2012-12-04 14:26:54 |
193 |
|
XTest.casl |
2003-05-06 20:50:02 |
160 |
|
XTest.casl.output |
2014-08-29 11:24:48 |
320 |