Fri, 10 Nov 2000 19:15:14 +0100 | wenzelm | use inverse, divide from basic HOL; | changeset | files |
Fri, 10 Nov 2000 19:13:29 +0100 | wenzelm | norm_hhf_tac; | changeset | files |
Fri, 10 Nov 2000 19:13:01 +0100 | wenzelm | rewrite_goal_tac moved to tactic.ML; | changeset | files |