| Wed, 14 Sep 2005 23:14:58 +0200 | wenzelm | hide the rather generic names used in theory Commutative_Ring; | file | diff | annotate |
| Wed, 14 Sep 2005 22:04:37 +0200 | wenzelm | imports Commutative_Ring; | 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 |
| Fri, 01 Jul 2005 13:56:34 +0200 | berghofe | Moved some code lemmas from Main to Nat. | file | diff | annotate |
| Tue, 28 Jun 2005 15:27:45 +0200 | paulson | Constant "If" is now local | file | diff | annotate |
| Mon, 16 May 2005 10:29:15 +0200 | paulson | Use of IntInf.int instead of int in most numeric simprocs; avoids | file | diff | annotate |
| Thu, 28 Apr 2005 17:56:58 +0200 | paulson | fixed treatment of higher-order simprules | file | diff | annotate |