| Thu, 01 Dec 2005 22:04:27 +0100 | wenzelm | simprocs: static evaluation of simpset; | file | diff | annotate |
| Thu, 01 Dec 2005 15:45:54 +0100 | paulson | restoring the old status of subset_refl | file | diff | annotate |
| Thu, 10 Nov 2005 17:33:14 +0100 | paulson | duplicate axioms in ATP linkup, and general fixes | file | diff | annotate |
| Mon, 17 Oct 2005 23:10:10 +0200 | wenzelm | change_claset/simpset; | file | diff | annotate |
| Fri, 07 Oct 2005 22:59:22 +0200 | wenzelm | Term.absdummy; | file | diff | annotate |
| Thu, 29 Sep 2005 12:43:40 +0200 | paulson | a name for empty_not_insert | file | diff | annotate |
| Thu, 29 Sep 2005 00:58:55 +0200 | wenzelm | more finalconsts; | file | diff | annotate |
| Thu, 22 Sep 2005 23:56:15 +0200 | nipkow | renamed rules to iprover | file | diff | annotate |
| Tue, 20 Sep 2005 14:03:37 +0200 | wenzelm | tuned theory dependencies; | file | diff | annotate |
| Tue, 16 Aug 2005 18:53:11 +0200 | paulson | more simprules now have names | file | diff | annotate |
| Tue, 16 Aug 2005 15:36:28 +0200 | paulson | classical rules must have names for ATP integration | file | diff | annotate |
| Tue, 02 Aug 2005 19:47:12 +0200 | wenzelm | simprocs: Simplifier.inherit_bounds; | file | diff | annotate |
| Tue, 12 Jul 2005 12:49:00 +0200 | paulson | tweaked | file | diff | annotate |
| Fri, 01 Jul 2005 13:57:53 +0200 | berghofe | Added strong_ball_cong and strong_bex_cong (these are now the standard | file | diff | annotate |
| Wed, 11 May 2005 09:50:33 +0200 | nipkow | Added thms by Brian Huffmann | file | diff | annotate |