| Thu, 06 Aug 2015 23:56:48 +0200 | haftmann | slight cleanup of lemmas | file | diff | annotate |
| Wed, 25 Mar 2015 10:44:57 +0100 | wenzelm | prefer local fixes; | file | diff | annotate |
| Sun, 02 Nov 2014 16:54:06 +0100 | wenzelm | modernized header; | file | diff | annotate |
| Thu, 30 Oct 2014 21:02:01 +0100 | haftmann | more simp rules concerning dvd and even/odd | file | diff | annotate |
| Thu, 09 Oct 2014 22:43:48 +0200 | haftmann | more foundational definition for predicate even | file | diff | annotate |
| Sun, 21 Sep 2014 16:56:11 +0200 | haftmann | explicit separation of signed and unsigned numerals using existing lexical categories num and xnum | file | diff | annotate |
| Sat, 28 Dec 2013 21:06:25 +0100 | haftmann | dropped junk | file | diff | annotate |