| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| while-1.m | Text File | 6 | 61b | 1996-09-28 |
| while-2.m | Text File | 6 | 63b | 1996-09-28 |
| while-3.m | Text File | 7 | 68b | 1996-09-28 |
| while-4.m | Text File | 9 | 101b | 1996-09-28 |
| while-5.m | Text File | 9 | 102b | 1996-09-28 |
| while.exp | Text File | 20 | 288b | 1996-09-28 |