| Sat, 31 Dec 2005 21:49:43 +0100 | wenzelm | tuned forall_intr_vars; | changeset | files |
| Sat, 31 Dec 2005 21:49:42 +0100 | wenzelm | added classical_rule, which replaces Data.make_elim; | changeset | files |
| Sat, 31 Dec 2005 21:49:41 +0100 | wenzelm | explicitly reject consts *Goal*, *False*; | changeset | files |
| Sat, 31 Dec 2005 21:49:40 +0100 | wenzelm | elim rules: Classical.classical_rule; | changeset | files |
| Sat, 31 Dec 2005 21:49:39 +0100 | wenzelm | removed obsolete cla_dist_concl; | changeset | files |
| Sat, 31 Dec 2005 21:49:38 +0100 | wenzelm | removed classical elim_format; | changeset | files |
| Sat, 31 Dec 2005 21:49:36 +0100 | wenzelm | removed obsolete Provers/make_elim.ML; | changeset | files |
| Sat, 31 Dec 2005 21:49:35 +0100 | wenzelm | obsolete, see classical_rule in Provers/classical.ML; | changeset | files |