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 |