src/Tools/float.ML
changeset 30161 c26e515f1c29
parent 24630 351a308ab58d
child 67560 0fa87bd86566
     1.1 --- a/src/Tools/float.ML	Sat Feb 28 14:02:12 2009 +0100
     1.2 +++ b/src/Tools/float.ML	Sat Feb 28 14:09:58 2009 +0100
     1.3 @@ -1,5 +1,4 @@
     1.4  (*  Title:      Tools/float.ML
     1.5 -    ID:         $Id$
     1.6      Author:     Steven Obua, Florian Haftmann, TU Muenchen
     1.7  
     1.8  Implementation of real numbers as mantisse-exponent pairs.