src/HOL/Number_Theory/Pocklington.thy
Thu, 06 Feb 2014 13:04:06 +0000 paulson fixed problem (?) by deleting "thm" line
Wed, 05 Feb 2014 17:06:11 +0000 paulson Number_Theory no longer introduces One_nat_def as a simprule. Tidied some proofs.
Tue, 04 Feb 2014 21:28:38 +0000 paulson Restoration of Pocklington.thy. Tidying.
less more (0) tip