Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
batch-hol-tool/ | 1992-12-04 12:49 | - | ||
tooltool/ | 1992-12-04 12:50 | - | ||
latex/ | 1992-12-04 12:50 | - | ||
btg-tactics/ | 1992-12-04 12:50 | - | ||
tex-thy-format/ | 1992-12-04 12:50 | - | ||
hol-emacs/ | 1992-12-04 12:50 | - | ||
mut_rec_types/ | 1992-12-04 12:50 | - | ||
non-unix/ | 1992-12-04 12:50 | - | ||
icl-taut/ | 1992-12-04 12:51 | - | ||
hol-sum/ | 1992-12-04 12:51 | - | ||
hol-errors/ | 1992-12-04 12:51 | - | ||
koenig/ | 1992-12-04 12:51 | - | ||
holsort/ | 1992-12-04 12:51 | - | ||
prooftree/ | 1992-12-04 12:51 | - | ||
newrw/ | 1992-12-04 12:51 | - | ||
wordn/ | 1992-12-04 12:52 | - | ||
hol-mode/ | 1992-12-04 12:52 | - | ||
aci/ | 1992-12-04 12:52 | - | ||
hol-exec/ | 1992-12-04 12:52 | - | ||
cont/ | 1992-12-04 12:52 | - | ||
pred/ | 1992-12-04 12:52 | - | ||
boyer-moore/ | 1992-12-04 12:52 | - | ||
fpf/ | 1992-12-04 12:52 | - | ||
smarttacs/ | 1992-12-04 12:52 | - | ||
Tarski/ | 1992-12-04 12:52 | - | ||
AKCL-mods/ | 1992-12-04 12:52 | - | ||
WF/ | 1992-12-04 12:55 | - | ||
make_use/ | 1992-12-04 13:56 | - | ||
prog_logic92/ | 1992-12-04 13:57 | - | ||
Predicate/ | 1993-04-22 12:03 | - | ||
AKCL-profiling/ | 1993-05-14 16:31 | - | ||
reduct/ | 1993-05-31 13:22 | - | ||
res_quan/ | 1993-06-01 09:01 | - | ||
rec_tys_listop/ | 1993-06-08 14:39 | - | ||
greatest/ | 1993-06-15 17:36 | - | ||
sml-mode/ | 1993-09-16 15:04 | - | ||
HOLproof/ | 1993-09-24 09:31 | - | ||
benchmark/ | 1994-01-08 14:20 | - | ||
rule-induction/ | 1994-01-08 14:20 | - | ||
Z/ | 1994-01-31 19:12 | - | ||
more_lists/ | 1994-02-09 09:45 | - | ||
pre-v2.02-rewr/ | 1994-02-18 11:56 | - | ||
eval/ | 1994-02-24 12:32 | - | ||
convert/ | 1994-02-24 12:32 | - | ||
auxiliary/ | 1994-02-24 12:33 | - | ||
quotient/ | 1994-02-24 12:33 | - | ||
fixpoints/ | 1994-02-24 12:33 | - | ||
bags/ | 1994-02-24 12:33 | - | ||
UNITY/ | 1994-02-24 12:33 | - | ||
group/ | 1994-02-24 12:33 | - | ||
int_mod/ | 1994-02-24 12:33 | - | ||
integer/ | 1994-02-24 14:04 | - | ||
prog_logic88/ | 1994-02-24 14:04 | - | ||
int/ | 1994-03-01 20:01 | - | ||
CARD/ | 1994-03-03 12:42 | - | ||
CSP/ | 1994-03-03 12:43 | - | ||
WELL_ORDER/ | 1994-03-03 12:43 | - | ||
ZET/ | 1994-03-03 12:43 | - | ||
hol_users/ | 1994-03-16 13:55 | - | ||
DerLem/ | 1994-03-23 18:42 | - | ||
mweb/ | 1994-03-24 10:52 | - | ||
cpo/ | 1994-06-02 14:19 | - | ||
ind-defs/ | 1995-05-08 17:07 | - | ||
CONTENTS | 1995-05-08 17:11 | 8.7K | ||
SECD/ | 1995-05-25 12:41 | - | ||
READ-ME | 1995-06-22 10:12 | 1.2K | ||
RefCalc/ | 1995-08-27 19:56 | - | ||
subgoal/ | 1995-08-27 19:57 | - | ||
Xhelp/ | 1995-08-27 19:58 | - | ||
rewriting/ | 1995-08-27 19:58 | - | ||
temporal/ | 1995-08-27 19:59 | - | ||
knuth-bendix/ | 1995-08-27 20:00 | - | ||
select/ | 1995-08-27 20:01 | - | ||
CPO/ | 1995-08-27 20:17 | - | ||
PNF/ | 1995-08-27 20:18 | - | ||
00-Tarfiles/ | 1995-08-27 20:18 | - | ||
franz-cl-th/ | 1995-08-27 20:18 | - | ||
claude.ps | 1995-09-06 17:54 | 78K | ||
TkHol/ | 1995-11-05 22:27 | - | ||