| [ICO] | Name | Last modified | Size | Description |
|---|---|---|---|---|
| [PARENTDIR] | Parent Directory | - | ||
| [ ] | README | 2001年03月01日 09:22 | 559 | |
| [ ] | debruijn.elf | 2001年02月27日 11:07 | 789 | |
| [ ] | eval.elf | 2001年02月06日 08:58 | 938 | |
| [ ] | examples.quy | 2001年02月27日 11:20 | 1.1K | |
| [ ] | feval.elf | 2001年02月27日 11:03 | 1.3K | |
| [ ] | map-eval.elf | 2001年02月27日 11:10 | 4.3K | |
| [ ] | mini-ml.elf | 2001年02月06日 08:50 | 422 | |
| [ ] | sources.cfg | 2001年02月27日 11:06 | 200 | |
| [ ] | trans.elf | 2001年02月27日 11:02 | 1.9K | |
| [ ] | val-lemmas.elf | 2001年02月27日 11:07 | 857 | |
| [ ] | value.elf | 2001年02月06日 08:51 | 301 | |