| Thu, 27 Aug 2015 19:55:43 +0200 | blanchet | fixed typo in comment | 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 |
| Tue, 19 Nov 2013 10:05:53 +0100 | haftmann | eliminiated neg_numeral in favour of - (numeral _) | file | diff | annotate |
| Mon, 08 Jul 2013 14:24:36 +0200 | nipkow | tuned proofs | file | diff | annotate |
| Fri, 05 Jul 2013 16:45:31 +0200 | nipkow | improved proof automation for numerals | file | diff | annotate |
| Sun, 26 May 2013 11:56:55 +0200 | nipkow | simpler proof through custom summation function | file | diff | annotate |
| Wed, 22 May 2013 08:46:39 +0200 | nipkow | simplified example and proof | file | diff | annotate |