Thu, 22 Sep 2005 23:56:15 +0200 | nipkow | renamed rules to iprover | file | diff | annotate |
Sat, 17 Sep 2005 18:25:11 +0200 | wenzelm | tuned document; | file | diff | annotate |
Tue, 16 Aug 2005 15:36:28 +0200 | paulson | classical rules must have names for ATP integration | file | diff | annotate |
Wed, 15 Dec 2004 17:32:40 +0100 | paulson | removal of archaic Abs/Rep proofs | file | diff | annotate |
Thu, 09 Dec 2004 12:03:06 +0100 | paulson | converted Datatype_Universe to new-style theory | file | diff | annotate |
Thu, 10 Oct 2002 14:19:17 +0200 | berghofe | Removed obsolete function "Funs". | file | diff | annotate |
Fri, 05 Oct 2001 21:52:39 +0200 | wenzelm | sane numerals (stage 1): added generic 1, removed 1' and 2 on nat, | file | diff | annotate |