Fri, 02 Aug 1996 12:16:11 +0200 | berghofe | Simplified primrec definitions. | changeset | files |
Fri, 02 Aug 1996 12:14:49 +0200 | berghofe | Replaced prove_case_cong by Konrad Slinds optimized version. | changeset | files |
Tue, 30 Jul 1996 18:05:22 +0200 | berghofe | Simplified primrec - definitions. | changeset | files |
Tue, 30 Jul 1996 18:03:11 +0200 | berghofe | Now also Deepen_tac and Best_tac are used. | changeset | files |
Tue, 30 Jul 1996 17:33:26 +0200 | berghofe | Classical tactics now use default claset. | changeset | files |
Mon, 29 Jul 1996 18:31:39 +0200 | paulson | Works up to main theorem, then XXX...X | changeset | files |