![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| 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 | |
| DerLem.tar.gz | 1994-03-23 18:43 | 104K | |
| 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 | |
| SECD.tar.gz | 1995-05-25 12:45 | 159K | |
| 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 | |
| cpo.tar.gz | 1994-06-02 14:22 | 12K | |
| 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 | |
| ind-defs.tar.gz | 1995-05-08 17:07 | 11K | |
| 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 | |