| Wed, 23 Nov 2005 22:26:13 +0100 | wenzelm | tuned induction proofs; | file | diff | annotate |
| Thu, 22 Sep 2005 23:56:15 +0200 | nipkow | renamed rules to iprover | file | diff | annotate |
| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
| Fri, 30 Aug 2002 16:42:45 +0200 | paulson | removal of blast.overloaded | file | diff | annotate |
| Thu, 11 Jul 2002 16:57:14 +0200 | berghofe | Added "using" to the beginning of original newman proof again, because | file | diff | annotate |
| Thu, 11 Jul 2002 09:47:15 +0200 | nipkow | Added partly automated version of Newman. | file | diff | annotate |
| Thu, 11 Jul 2002 09:17:01 +0200 | nipkow | *** empty log message *** | file | diff | annotate |