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 |