Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
ack_prolog.trs | 2004-03-05 16:27 | 448 | ||
ack_prolog.trs.cim2 | 2004-07-01 14:31 | 514 | ||
append-hard.trs | 2004-03-05 16:27 | 359 | ||
append-hard.trs.cim2 | 2004-07-01 14:40 | 560 | ||
append-wrong.trs | 2004-03-05 16:27 | 375 | ||
append-wrong.trs.cim2 | 2004-07-01 14:43 | 572 | ||
append.trs | 2004-03-05 16:27 | 311 | ||
append.trs.cim2 | 2004-07-01 14:41 | 541 | ||
big.trs | 2004-03-05 16:27 | 1.7K | ||
big.trs.cim2 | 2004-07-01 14:45 | 2.9K | ||
boolean_rings.trs | 2004-03-05 16:27 | 458 | ||
boolean_rings.trs.cim2 | 2004-07-01 14:45 | 625 | ||
dpqs.trs | 2004-03-05 16:27 | 298 | ||
dpqs.trs.cim2 | 2004-07-01 14:45 | 367 | ||
fact-hard.trs | 2004-03-05 16:27 | 358 | ||
fact-hard.trs.cim2 | 2004-07-01 14:47 | 675 | ||
filliatre.trs | 2004-03-05 16:27 | 596 | ||
filliatre.trs.cim2 | 2004-07-01 14:56 | 784 | ||
filliatre2.trs | 2004-03-05 16:27 | 623 | ||
filliatre2.trs.cim2 | 2004-07-01 14:50 | 841 | ||
filliatre3.trs | 2004-03-05 16:27 | 676 | ||
filliatre3.trs.cim2 | 2004-07-01 14:53 | 940 | ||
intersect.trs | 2004-03-05 16:27 | 796 | ||
intersect.trs.cim2 | 2004-07-01 14:56 | 1.3K | ||
list-sum-prod-assoc-append.trs | 2004-03-05 16:27 | 576 | ||
list-sum-prod-assoc-append.trs.cim2 | 2004-07-01 14:56 | 884 | ||
list-sum-prod-assoc.trs | 2004-03-05 16:27 | 416 | ||
list-sum-prod-assoc.trs.cim2 | 2004-07-01 14:56 | 660 | ||
list-sum-prod-bin-assoc-distr-app.trs | 2004-03-05 16:27 | 726 | ||
list-sum-prod-bin-assoc-distr-app.trs.cim2 | 2004-07-01 14:56 | 1.1K | ||
list-sum-prod-bin-assoc.trs | 2004-03-05 16:27 | 515 | ||
list-sum-prod-bin-assoc.trs.cim2 | 2004-07-01 14:56 | 843 | ||
list-sum-prod-bin.trs | 2004-03-05 16:27 | 436 | ||
list-sum-prod-bin.trs.cim2 | 2004-07-01 14:56 | 743 | ||
list-sum-prod.trs | 2004-03-05 16:27 | 332 | ||
list-sum-prod.trs.cim2 | 2004-07-01 14:56 | 560 | ||
log2.trs | 2004-03-05 16:27 | 798 | ||
log2.trs.cim2 | 2004-07-01 14:57 | 1.3K | ||
lse.trs | 2004-03-05 16:27 | 1.3K | ||
lse.trs.cim2 | 2004-07-01 14:57 | 1.9K | ||
maude2.trs | 2004-05-26 10:06 | 2.1K | ||
maude2.trs.cim2 | 2004-07-01 14:59 | 1.5K | ||
mucrl1.trs | 2004-04-14 10:11 | 13K | ||
mucrl1.trs.cim2 | 2004-07-01 15:00 | 18K | ||
quick.trs | 2004-03-05 16:27 | 1.3K | ||
quick.trs.cim2 | 2004-07-01 15:03 | 1.3K | ||
ternary-hard.trs | 2004-03-05 16:27 | 869 | ||
ternary-hard.trs.cim2 | 2004-07-01 15:04 | 1.2K | ||
ternary.trs | 2004-03-05 16:27 | 748 | ||
ternary.trs.cim2 | 2004-07-01 15:05 | 1.1K | ||
tree.trs | 2004-03-05 16:27 | 1.2K | ||
tree.trs.cim2 | 2004-07-01 15:09 | 1.9K | ||