download all originals (max 1 GB)| Name | Format | # Files | Size | Date |
|---|---|---|---|---|
| gemar.rsc | GEM Resource File | 34 | 43.0 KB | 1997-01-21 |
| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| 1st_step.txt | Text File | 134 | 4.7 KB | 1997-01-21 |
| features.txt | Text File | 36 | 1.1 KB | 1997-01-21 |
| gemar.hlp | Text File | 967 | 29.7 KB | 1997-01-21 |
| gemar.upl | Text File | 4 | 192 b | 1997-01-21 |
| gemarrsc.d | Modula Definition | 495 | 26.4 KB | 1997-01-21 |
| gemarrsc.m | Modula Implementation | 6 | 60 b | 1997-01-21 |
| question.txt | Text File | 147 | 7.6 KB | 1997-01-21 |
| readme.1st | Text File | 263 | 9.6 KB | 1997-01-21 |
| touch.doc | Text File | 46 | 1.3 KB | 1997-01-21 |
| Name | Format | Size | Date |
|---|---|---|---|
| gemar.hrd | Unknown | 6.3 KB | 1997-01-21 |
| gemar.str | Unknown | 10.3 KB | 1997-01-21 |