src/HOL/ex/coopereif.ML
2008-01-21 haftmann 2008-01-21 Efficient_Nat streamlined and improved
2007-09-18 wenzelm 2007-09-18 simplified type int (eliminated IntInf.int, integer);
2007-08-24 haftmann 2007-08-24 overloaded definitions accompanied by explicit constants
2007-07-27 chaieb 2007-07-27 no 'nat' is needed for Bound in reification
2007-07-26 chaieb 2007-07-26 Updated reification : CX discontinued for CN
2007-07-20 haftmann 2007-07-20 moved class ord from Orderings.thy to HOL.thy
2007-07-16 haftmann 2007-07-16 fixed SML/NJ int problem
2007-07-10 haftmann 2007-07-10 adjusted
2007-06-28 haftmann 2007-06-28 new code generator framework
2007-06-11 chaieb 2007-06-11 Temporarily use int instead of IntInf.int but Code generator should map HOL's int to ML's IntInf.int --- To be fixed
2007-06-06 chaieb 2007-06-06 New Reflected Presburger added to HOL/ex