download all originals (max 500 MB)| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| result.ok | Text File | 388 | 14.1 KB | 1996-07-03 |
| test.sml | Text File | 16 | 246 b | 1996-07-03 |
| test1.sml | Text File | 35 | 598 b | 1996-07-03 |
| test2.sml | Text File | 27 | 453 b | 1996-07-03 |
| test3.sml | Text File | 17 | 340 b | 1996-07-03 |
| test4.sml | Text File | 52 | 804 b | 1996-07-03 |
| test5.sml | Text File | 20 | 379 b | 1996-07-03 |
| test6.sml | Text File | 15 | 360 b | 1996-07-03 |
| test7.sml | Text File | 18 | 398 b | 1996-07-03 |
| test8.sml | Text File | 11 | 220 b | 1996-07-03 |
| test9.sml | Text File | 34 | 630 b | 1996-07-03 |
| testa.sml | Text File | 29 | 434 b | 1996-07-03 |
| testb.sml | Text File | 30 | 740 b | 1996-07-03 |
| testc.sml | Text File | 8 | 140 b | 1996-07-03 |
| testd.sml | Text File | 65 | 1.9 KB | 1996-07-03 |
| teste.sml | Text File | 66 | 1.9 KB | 1996-07-03 |
| testint.sml | Text File | 17 | 344 b | 1996-07-03 |
| testprs.sml | Text File | 72 | 1.5 KB | 1996-07-03 |
| testsyn.sml | Text File | 7 | 99 b | 1996-07-03 |
| testty.sml | Text File | 51 | 1023 b | 1996-07-03 |
| utest1.sig | Text File | 11 | 180 b | 1996-07-03 |
| utest1.sml | Text File | 8 | 167 b | 1996-07-03 |
| utest2.sig | Text File | 11 | 106 b | 1996-07-03 |
| utest2.sml | Text File | 6 | 82 b | 1996-07-03 |