| 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 |
| Thu, 07 Jul 2005 12:39:17 +0200 | nipkow | linear arithmetic now takes "&" in assumptions apart. | file | diff | annotate |
| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
| Thu, 16 Jun 2005 19:51:04 +0200 | paulson | a few new integer lemmas | file | diff | annotate |
| Wed, 23 Mar 2005 12:09:18 +0100 | paulson | replaced bool by a new datatype "bit" for binary numerals | file | diff | annotate |