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