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