| Mon, 15 Jul 1996 14:54:37 +0200 | paulson | Uses minimal simpset (min_ss) and full_simp_tac | changeset | files |
| Mon, 15 Jul 1996 12:36:56 +0200 | nipkow | Documented simplification tactics which make use of the implicit simpset. | changeset | files |
| Mon, 15 Jul 1996 10:41:30 +0200 | berghofe | updated syntax of primrec definitions | changeset | files |