Sun, 02 Nov 2014 18:21:45 +0100 | wenzelm | modernized header uniformly as section; | file | diff | annotate |
Thu, 30 Oct 2014 21:02:01 +0100 | haftmann | more simp rules concerning dvd and even/odd | file | diff | annotate |
Sat, 05 Jul 2014 11:01:53 +0200 | haftmann | prefer ac_simps collections over separate name bindings for add and mult | file | diff | annotate |
Fri, 04 Jul 2014 20:18:47 +0200 | haftmann | reduced name variants for assoc and commute on plus and mult | file | diff | annotate |
Sun, 09 Feb 2014 17:47:23 +0100 | wenzelm | minimal document; | file | diff | annotate |
Thu, 06 Feb 2014 13:04:06 +0000 | paulson | fixed problem (?) by deleting "thm" line | file | diff | annotate |
Wed, 05 Feb 2014 17:06:11 +0000 | paulson | Number_Theory no longer introduces One_nat_def as a simprule. Tidied some proofs. | file | diff | annotate |
Tue, 04 Feb 2014 21:28:38 +0000 | paulson | Restoration of Pocklington.thy. Tidying. | file | diff | annotate |