Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
AKCL-mods.tar.gz | 1994-03-04 11:55 | 1.5K | ||
AKCL-profiling.tar.gz | 1994-03-04 11:55 | 3.6K | ||
CARD.tar.gz | 1994-03-04 11:55 | 16K | ||
CPO.tar.gz | 1994-03-04 11:55 | 5.6K | ||
CSP.tar.gz | 1994-03-04 11:55 | 27K | ||
HOLproof.tar.gz | 1994-03-04 11:55 | 67K | ||
PNF.tar.gz | 1994-03-04 11:55 | 30K | ||
Predicate.tar.gz | 1994-03-04 11:55 | 96K | ||
RefCalc.tar.gz | 1994-03-04 11:56 | 169K | ||
Tarski.tar.gz | 1994-03-04 11:56 | 13K | ||
UNITY.tar.gz | 1994-03-04 11:57 | 173K | ||
WELL_ORDER.tar.gz | 1994-03-04 11:57 | 32K | ||
WF.tar.gz | 1994-03-04 11:57 | 14K | ||
Xhelp.tar.gz | 1994-03-04 11:57 | 9.1K | ||
Z.tar.gz | 1994-03-04 11:57 | 234K | ||
ZET.tar.gz | 1994-03-04 11:58 | 86K | ||
aci.tar.gz | 1994-03-04 11:58 | 3.8K | ||
auxiliary.tar.gz | 1994-03-04 11:58 | 11K | ||
bags.tar.gz | 1994-03-04 11:58 | 18K | ||
batch-hol-tool.tar.gz | 1994-03-04 11:58 | 2.6K | ||
benchmark.tar.gz | 1994-03-04 11:58 | 29K | ||
boyer-moore.tar.gz | 1994-03-04 11:58 | 45K | ||
btg-tactics.tar.gz | 1994-03-04 11:58 | 2.0K | ||
cont.tar.gz | 1994-03-04 11:58 | 13K | ||
convert.tar.gz | 1994-03-04 11:58 | 19K | ||
eval.tar.gz | 1994-03-04 11:58 | 7.5K | ||
fixpoints.tar.gz | 1994-03-04 11:58 | 4.9K | ||
fpf.tar.gz | 1994-03-04 11:59 | 26K | ||
franz-cl-th.tar.gz | 1994-03-04 11:59 | 1.1K | ||
greatest.tar.gz | 1994-03-04 11:59 | 6.7K | ||
group.tar.gz | 1994-03-04 11:59 | 60K | ||
hol-emacs.tar.gz | 1994-03-04 11:59 | 63K | ||
hol-errors.tar.gz | 1994-03-04 11:59 | 1.5K | ||
hol-exec.tar.gz | 1994-03-04 11:59 | 26K | ||
hol-mode.tar.gz | 1994-03-04 11:59 | 3.8K | ||
hol-sum.tar.gz | 1994-03-04 11:59 | 116K | ||
hol_users.tar.gz | 1994-03-04 11:59 | 116K | ||
holsort.tar.gz | 1994-03-04 12:00 | 4.0K | ||
icl-taut.tar.gz | 1994-03-04 12:00 | 3.5K | ||
int.tar.gz | 1994-03-04 12:00 | 15K | ||
int_mod.tar.gz | 1994-03-04 12:00 | 13K | ||
integer.tar.gz | 1994-03-04 12:00 | 24K | ||
knuth-bendix.tar.gz | 1994-03-04 12:00 | 21K | ||
koenig.tar.gz | 1994-03-04 12:00 | 5.6K | ||
latex.tar.gz | 1994-03-04 12:00 | 3.5K | ||
make_use.tar.gz | 1994-03-04 12:00 | 1.2K | ||
more_lists.tar.gz | 1994-03-04 12:01 | 197K | ||
mut_rec_types.tar.gz | 1994-03-04 12:02 | 17K | ||
mweb.tar.gz | 1994-03-04 12:02 | 214K | ||
newrw.tar.gz | 1994-03-04 12:02 | 1.2K | ||
non-unix.tar.gz | 1994-03-04 12:02 | 2.9K | ||
pre-v2.02-rewr.tar.gz | 1994-03-04 12:02 | 1.2K | ||
pred.tar.gz | 1994-03-04 12:02 | 17K | ||
prog_logic88.tar.gz | 1994-03-04 12:02 | 45K | ||
prog_logic92.tar.gz | 1994-03-04 12:03 | 156K | ||
prooftree.tar.gz | 1994-03-04 12:03 | 25K | ||
quotient.tar.gz | 1994-03-04 12:03 | 7.4K | ||
rec_tys_listop.tar.gz | 1994-03-04 12:03 | 264K | ||
reduct.tar.gz | 1994-03-04 12:03 | 16K | ||
res_quan.tar.gz | 1994-03-04 12:04 | 187K | ||
rewriting.tar.gz | 1994-03-04 12:04 | 13K | ||
rule-induction.tar.gz | 1994-03-04 12:04 | 34K | ||
select.tar.gz | 1994-03-04 12:04 | 14K | ||
smarttacs.tar.gz | 1994-03-04 12:04 | 6.2K | ||
sml-mode.tar.gz | 1994-03-04 12:04 | 19K | ||
subgoal.tar.gz | 1994-03-04 12:04 | 11K | ||
temporal.tar.gz | 1994-03-04 12:04 | 17K | ||
tex-thy-format.tar.gz | 1994-03-04 12:04 | 3.6K | ||
tooltool.tar.gz | 1994-03-04 12:04 | 195K | ||
wordn.tar.gz | 1994-03-04 12:05 | 191K | ||
DerLem.tar.gz | 1994-03-23 18:43 | 104K | ||
cpo.tar.gz | 1994-06-02 14:22 | 12K | ||
ind-defs.tar.gz | 1995-05-08 17:07 | 11K | ||
SECD.tar.gz | 1995-05-25 12:45 | 159K | ||