Fri, 02 Aug 1996 12:25:26 +0200 | berghofe | Classical tactics now use default claset. | changeset | files |
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 |