Tue, 18 Sep 2007 16:08:00 +0200 |
wenzelm |
simplified type int (eliminated IntInf.int, integer);
|
file |
diff |
annotate
|
Fri, 24 Aug 2007 14:14:20 +0200 |
haftmann |
overloaded definitions accompanied by explicit constants
|
file |
diff |
annotate
|
Fri, 27 Jul 2007 16:04:26 +0200 |
chaieb |
no 'nat' is needed for Bound in reification
|
file |
diff |
annotate
|
Thu, 26 Jul 2007 21:49:55 +0200 |
chaieb |
Updated reification : CX discontinued for CN
|
file |
diff |
annotate
|
Fri, 20 Jul 2007 14:28:25 +0200 |
haftmann |
moved class ord from Orderings.thy to HOL.thy
|
file |
diff |
annotate
|
Mon, 16 Jul 2007 09:29:01 +0200 |
haftmann |
fixed SML/NJ int problem
|
file |
diff |
annotate
|
Tue, 10 Jul 2007 09:24:43 +0200 |
haftmann |
adjusted
|
file |
diff |
annotate
|
Thu, 28 Jun 2007 19:09:38 +0200 |
haftmann |
new code generator framework
|
file |
diff |
annotate
|
Mon, 11 Jun 2007 11:06:13 +0200 |
chaieb |
Temporarily use int instead of IntInf.int but Code generator should map HOL's int to ML's IntInf.int --- To be fixed
|
file |
diff |
annotate
|
Wed, 06 Jun 2007 16:12:08 +0200 |
chaieb |
New Reflected Presburger added to HOL/ex
|
file |
diff |
annotate
|