| Fri, 05 Jul 2013 16:45:31 +0200 | nipkow | improved proof automation for numerals | file | diff | annotate |
| Thu, 13 Jun 2013 14:35:05 +0200 | nipkow | simplified proofs | file | diff | annotate |
| Fri, 07 Jun 2013 22:13:04 +0200 | nipkow | tuned | file | diff | annotate |
| Mon, 03 Jun 2013 06:41:07 +0200 | nipkow | tuned proofs | file | diff | annotate |
| Sat, 01 Jun 2013 12:02:41 +0200 | nipkow | tuned theory name | file | diff | annotate | base |