| Tue, 20 Sep 2005 14:03:38 +0200 |
wenzelm |
removed Commutative_Ring hacks;
|
file |
diff |
annotate
|
| Sat, 17 Sep 2005 18:11:21 +0200 |
wenzelm |
minor cleanup, moved stuff in its proper place;
|
file |
diff |
annotate
|
| Thu, 15 Sep 2005 17:45:17 +0200 |
paulson |
moving Commutative_Ring to the correct theory
|
file |
diff |
annotate
|
| 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
|
| Mon, 07 Mar 2005 19:30:53 +0100 |
webertj |
refute_params: default value itself=1 added (for type classes)
|
file |
diff |
annotate
|
| Sun, 13 Feb 2005 17:15:14 +0100 |
skalberg |
Deleted Library.option type.
|
file |
diff |
annotate
|
| Fri, 10 Dec 2004 16:48:29 +0100 |
berghofe |
Moved code generator setup for product type to Product_Type.thy
|
file |
diff |
annotate
|
| Tue, 07 Dec 2004 16:16:10 +0100 |
paulson |
all theories must be related to Reconstruction
|
file |
diff |
annotate
|