src/HOL/Tools/float_arith.ML
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