| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| basis-pc.lisp | 1991-02-04 07:15 | 30K | ||
| defn-sk.lisp | 1991-02-04 07:15 | 37K | ||
| demos/ | 2015-05-20 19:18 | - | ||
| examples-short.events | 1991-02-04 07:16 | 1.9K | ||
| examples.events | 1991-02-04 07:16 | 146K | ||
| help.lisp | 1991-02-04 07:16 | 91K | ||
| macro-commands-aux.lisp | 1991-02-04 07:16 | 46K | ||
| macro-commands.lisp | 1991-02-04 07:16 | 105K | ||
| make.pc.tar.z | 1991-02-04 07:16 | 77 | ||
| nqthm-patches.lisp | 1991-02-04 07:16 | 140K | ||
| pc.broadcast | 1991-02-04 07:17 | 1.3K | ||
| pc.tar.Z | 1987-06-29 11:49 | 318K | ||
| proof-checker-short...> | 1991-02-04 07:24 | 947 | ||
| proof-checker-stuff...> | 1991-02-04 07:17 | 2.0K | ||
| proof-checker.lisp | 1991-02-04 07:26 | 941 | ||
| release-notes.txt | 1991-02-04 07:17 | 6.1K | ||
| sparc_saved_pc-nqthm.Z | 1993-06-29 11:21 | 3.0M | ||
| sun3_saved_pc-nqthm.Z | 1987-06-29 11:43 | 2.0M | ||
| top-nqthm.lisp | 1991-02-04 07:17 | 33K | ||
| top.lisp | 1991-02-04 07:18 | 144K | ||
| utilities.lisp | 1991-02-04 07:18 | 105K | ||