| Mon, 06 Mar 2000 12:04:39 +0100 | wenzelm | new Poly/ML setup made default; | changeset | files |
| Sat, 04 Mar 2000 13:28:21 +0100 | wenzelm | induct: "stripped" option; | changeset | files |
| Sat, 04 Mar 2000 13:25:09 +0100 | wenzelm | require NatDef; | changeset | files |
| Sat, 04 Mar 2000 13:23:07 +0100 | wenzelm | REPEAT_ALL_NEW; | changeset | files |
| Sat, 04 Mar 2000 13:18:43 +0100 | wenzelm | added REPEAT_ALL_NEW; | changeset | files |
| Sat, 04 Mar 2000 12:02:41 +0100 | paulson | tidied | changeset | files |
| Sat, 04 Mar 2000 11:52:42 +0100 | paulson | tidied | changeset | files |
| Sat, 04 Mar 2000 11:42:12 +0100 | paulson | new theories UNITY/Detects, UNITY/Reachability | changeset | files |
| Fri, 03 Mar 2000 21:02:45 +0100 | wenzelm | added con_elim_s(olved_)tac; | changeset | files |
| Fri, 03 Mar 2000 21:01:57 +0100 | wenzelm | mk_cases / inductive_cases: use InductMethod.con_elim_(solved_)tac; | changeset | files |
| Fri, 03 Mar 2000 21:00:58 +0100 | wenzelm | added multi_resolveq, resolveq_tac; | changeset | files |
| Fri, 03 Mar 2000 18:26:19 +0100 | paulson | Added Tanja's Detects and Reachability theories. Also | changeset | files |