| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| ackerman.ob2 | Text File | 32 | 938b | 1995-01-31 |
| bf.mod | Text File | 36 | 612b | 1995-06-17 |
| dry.c | C/C++ Source or Header | 313 | 9KB | 1995-07-25 |
| dry.mod | Text File | 266 | 8KB | 1996-01-06 |
| e.mod | Text File | 96 | 2KB | 1995-06-28 |
| except.mod | Text File | 26 | 512b | 1994-07-22 |
| exp.mod | Text File | 104 | 2KB | 1995-01-31 |
| exp.ob2 | Text File | 103 | 2KB | 1995-01-31 |
| fact.mod | Text File | 36 | 642b | 1994-07-22 |
| halt.mod | Text File | 17 | 376b | 1996-01-03 |
| hello.mod | Text File | 9 | 110b | 1994-07-21 |
| hello.ob2 | Text File | 10 | 123b | 1994-07-21 |
| hisdemo.mod | Text File | 18 | 217b | 1996-03-01 |
| queens.mod | Text File | 43 | 960b | 1995-01-31 |
| random.ob2 | Text File | 34 | 553b | 1994-04-25 |
| self.ob2 | Text File | 43 | 1KB | 1994-03-31 |
| sieve.mod | Text File | 41 | 835b | 1995-01-31 |
| sieve.ob2 | Text File | 42 | 841b | 1995-01-31 |
| term.mod | Text File | 16 | 370b | 1994-07-22 |
| whet.mod | Text File | 255 | 9KB | 1996-01-06 |