| Tue, 16 Aug 2005 18:53:11 +0200 | paulson | more simprules now have names | file | diff | annotate |
| Tue, 12 Jul 2005 11:51:31 +0200 | berghofe | Auxiliary functions to be used in generated code are now defined using "attach". | file | diff | annotate |
| Thu, 07 Jul 2005 12:39:17 +0200 | nipkow | linear arithmetic now takes "&" in assumptions apart. | file | diff | annotate |
| Fri, 01 Jul 2005 14:08:53 +0200 | berghofe | Moved code generator setup from NatBin to IntDef. | file | diff | annotate |
| Thu, 16 Jun 2005 19:51:04 +0200 | paulson | a few new integer lemmas | file | diff | annotate |
| Wed, 04 May 2005 08:36:10 +0200 | nipkow | Fixing a problem with lin.arith. | file | diff | annotate |
| Wed, 02 Mar 2005 10:02:21 +0100 | paulson | new lemmas int_diff_cases | file | diff | annotate |