| Thu, 13 Jul 2000 11:44:02 +0200 | wenzelm | added simp_case_tac; | changeset | files |
| Thu, 13 Jul 2000 11:42:11 +0200 | wenzelm | use InductMethod.simp_case_tac; | changeset | files |
| Thu, 13 Jul 2000 11:41:40 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 13 Jul 2000 11:41:06 +0200 | wenzelm | export thesisN separately; | changeset | files |
| Thu, 13 Jul 2000 11:40:49 +0200 | wenzelm | prep rhs in original context; | changeset | files |
| Thu, 13 Jul 2000 11:39:41 +0200 | wenzelm | RuleCases.make opaq; | changeset | files |
| Thu, 13 Jul 2000 11:39:22 +0200 | wenzelm | bind_skolem; | changeset | files |