Fri, 10 Nov 2000 19:03:55 +0100 | wenzelm | simplified atomize; | changeset | files |
Fri, 10 Nov 2000 19:03:06 +0100 | wenzelm | axclass power moved to Nat.thy; | changeset | files |
Fri, 10 Nov 2000 19:02:37 +0100 | wenzelm | added axclass inverse and consts inverse, divide (infix "/"); | changeset | files |
Fri, 10 Nov 2000 19:01:33 +0100 | wenzelm | FOL_basic_ss: simprocs moved to FOL_ss; | changeset | files |
Fri, 10 Nov 2000 19:00:51 +0100 | wenzelm | added atomize_eq; | changeset | files |
Fri, 10 Nov 2000 19:00:22 +0100 | wenzelm | val atomize = thms "atomize'"; | changeset | files |