src/HOL/Tools/float_arith.ML
2010-06-10 haftmann 2010-06-10 tuned quotes, antiquotations and whitespace
2009-02-05 hoelzl 2009-02-05 Added new Float theory and moved old Library/Float.thy to ComputeFloat
2008-12-03 haftmann 2008-12-03 made repository layout more coherent with logical distribution structure; stripped some $Id$s