| Wed, 11 Sep 1996 18:45:33 +0200 | paulson | Removal of univ_cs | changeset | files |
| Wed, 11 Sep 1996 18:40:55 +0200 | paulson | Reformatting | changeset | files |
| Wed, 11 Sep 1996 18:00:53 +0200 | nipkow | renamed cterm_lift_inst_rule to term_lift_inst_rule and made it take | changeset | files |
| Wed, 11 Sep 1996 15:17:07 +0200 | nipkow | Removed refs to clasets like rel_cs etc. Used implicit claset. | changeset | files |
| Tue, 10 Sep 1996 20:10:29 +0200 | nipkow | Converted proofs to use default clasets. | changeset | files |
| Tue, 10 Sep 1996 11:37:52 +0200 | paulson | Added Auth to the test target | changeset | files |
| Tue, 10 Sep 1996 11:35:23 +0200 | paulson | Now runs all Auth proofs | changeset | files |
| Tue, 10 Sep 1996 11:07:49 +0200 | paulson | Now uses DB-ROOT.ML, which is separate from ROOT.ML | changeset | files |