Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
tokens.elf | 1994-11-27 10:18 | 1.4K | ||
print.elf | 1994-11-27 10:21 | 25K | ||
load.sml | 1994-11-29 11:11 | 435 | ||
int.elf | 1994-11-26 14:13 | 1.0K | ||
int-print.quy | 1994-11-26 16:03 | 8.9K | ||
int-elim.elf | 1994-11-26 15:48 | 1.5K | ||
int-cut.elf | 1994-11-26 14:14 | 1.1K | ||
int-admit.elf | 1994-11-26 16:02 | 4.5K | ||
hacks.sml | 1994-11-08 14:00 | 218 | ||
formulas.elf | 1994-11-26 14:12 | 423 | ||
examples.quy | 1994-11-27 09:47 | 2.2K | ||
cl.elf | 1994-11-26 14:13 | 1.1K | ||
cl-print.quy | 1994-11-26 16:39 | 14K | ||
cl-elim.elf | 1994-12-06 14:14 | 1.7K | ||
cl-cut.elf | 1994-11-26 14:15 | 1.1K | ||
cl-admit.elf | 1994-11-30 09:29 | 6.5K | ||
README | 1994-12-02 13:02 | 1.3K | ||
CONFIG.print | 1994-11-29 10:55 | 217 | ||
CONFIG | 1994-11-29 10:55 | 179 | ||