Fri, 10 Nov 2000 19:06:54 +0100 wenzelm Sign.certify_tycon, Sign.certify_const;
Fri, 10 Nov 2000 19:06:30 +0100 wenzelm improved cong_definition theorems;
Fri, 10 Nov 2000 19:05:28 +0100 wenzelm simplified induction;
Fri, 10 Nov 2000 19:04:31 +0100 wenzelm added axclass power (from HOL.thy);
Fri, 10 Nov 2000 19:03:55 +0100 wenzelm simplified atomize;
Fri, 10 Nov 2000 19:03:06 +0100 wenzelm axclass power moved to Nat.thy;
Fri, 10 Nov 2000 19:02:37 +0100 wenzelm added axclass inverse and consts inverse, divide (infix "/");
(0) -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip