2007-08-24 haftmann 2007-08-24 overloaded definitions accompanied by explicit constants
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-06-28 haftmann 2007-06-28 new code generator framework
2007-06-11 chaieb 2007-06-11 Temporarily use int instead of but Code generator should map HOL's int to ML's --- To be fixed
2007-06-05 chaieb 2007-06-05 Added twe Examples for Quantifier elimination ofer linear real arithmetic and over the mixed theory of linear real artihmetic with integers