2014-10-30 haftmann 2014-10-30 more simp rules concerning dvd and even/odd
2014-07-05 haftmann 2014-07-05 prefer ac_simps collections over separate name bindings for add and mult
2014-07-04 haftmann 2014-07-04 reduced name variants for assoc and commute on plus and mult
2014-02-09 wenzelm 2014-02-09 minimal document;
2014-02-06 paulson 2014-02-06 fixed problem (?) by deleting "thm" line
2014-02-05 paulson 2014-02-05 Number_Theory no longer introduces One_nat_def as a simprule. Tidied some proofs.
2014-02-04 paulson 2014-02-04 Restoration of Pocklington.thy. Tidying.