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 | ||