Fri, 10 Nov 2000 19:06:54 +0100 | wenzelm | Sign.certify_tycon, Sign.certify_const; | changeset | files |
Fri, 10 Nov 2000 19:06:30 +0100 | wenzelm | improved cong_definition theorems; | changeset | files |
Fri, 10 Nov 2000 19:05:28 +0100 | wenzelm | simplified induction; | changeset | files |
Fri, 10 Nov 2000 19:04:31 +0100 | wenzelm | added axclass power (from HOL.thy); | changeset | files |
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 |