| Fri, 10 Nov 2000 19:20:17 +0100 | wenzelm | * added overloaded operations "inverse" and "divide" (infix "/"); | changeset | files |
| Fri, 10 Nov 2000 19:18:37 +0100 | wenzelm | int_distrib; | changeset | files |
| 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 |