| Wed, 23 Mar 2005 12:09:18 +0100 | paulson | replaced bool by a new datatype "bit" for binary numerals | file | diff | annotate |
| Wed, 24 Nov 2004 10:23:36 +0100 | berghofe | New theorem zpower_int | file | diff | annotate |
| Tue, 19 Oct 2004 18:18:45 +0200 | paulson | converted some induct_tac to induct | file | diff | annotate |
| Thu, 07 Oct 2004 15:42:30 +0200 | paulson | simplification tweaks for better arithmetic reasoning | file | diff | annotate |
| Fri, 01 Oct 2004 11:53:31 +0200 | paulson | tweaking of arithmetic proofs | file | diff | annotate |
| Wed, 18 Aug 2004 11:09:40 +0200 | nipkow | import -> imports | file | diff | annotate |