src/HOL/Complex/ex/mireif.ML
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-19 haftmann 2007-07-19 adapted to 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-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