Fri, 10 Nov 2000 19:18:14 +0100 | wenzelm | nat_distrib; | changeset | files |
Fri, 10 Nov 2000 19:17:46 +0100 | wenzelm | hide_space(_i): use Sign.certify_tycon, Sign.certify_tyabbr, Sign.certify_const; | changeset | files |
Fri, 10 Nov 2000 19:15:38 +0100 | wenzelm | tuned; | changeset | files |
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 |