| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| if-1.m | Text File | 6 | 54b | 1996-09-28 |
| if-2.m | Text File | 6 | 64b | 1996-09-28 |
| if-3.m | Text File | 7 | 79b | 1996-09-28 |
| if-4.m | Text File | 10 | 117b | 1996-09-28 |
| if-5.m | Text File | 12 | 145b | 1996-09-28 |
| if-6.m | Text File | 10 | 111b | 1996-09-28 |
| if.exp | Text File | 24 | 314b | 1996-09-28 |