![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| closed.elf | 12-Oct-2000 20:02 | 1.8K | |
| eval.elf | 12-Oct-2000 20:02 | 1.0K | |
| eval1.elf | 12-Oct-2000 20:02 | 1.2K | |
| eval2.elf | 12-Oct-2000 20:02 | 863 | |
| examples.quy | 12-Oct-2000 20:02 | 2.6K | |
| examples1.quy | 12-Oct-2000 20:02 | 287 | |
| examples2.quy | 12-Oct-2000 20:02 | 193 | |
| examples3.quy | 12-Oct-2000 20:02 | 340 | |
| mini-ml.elf | 12-Oct-2000 20:02 | 419 | |
| reduce.elf | 12-Oct-2000 20:02 | 1.2K | |
| reduce.thm | 12-Oct-2000 20:02 | 222 | |
| schema.thm | 12-Oct-2000 20:02 | 427 | |
| sources.cfg | 12-Oct-2000 20:02 | 89 | |
| test.cfg | 12-Oct-2000 20:02 | 154 | |
| theorems.thm | 12-Oct-2000 20:02 | 428 | |
| tp-preserve.elf | 12-Oct-2000 20:02 | 1.3K | |
| tp-preserve.thm | 12-Oct-2000 20:02 | 303 | |
| tp.elf | 12-Oct-2000 20:02 | 168 | |
| tpinf.elf | 12-Oct-2000 20:02 | 1.0K | |
| val-sound.elf | 12-Oct-2000 20:02 | 857 | |
| val-sound.thm | 12-Oct-2000 20:02 | 323 | |
| value.elf | 12-Oct-2000 20:02 | 283 | |