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 |