src/HOL/Real/float_arith.ML
Sat, 15 Sep 2007 19:27:35 +0200 haftmann fixed title
Wed, 04 Jul 2007 17:21:02 +0200 obua fixed argument order in calls to Integer.pow
Sat, 09 Jun 2007 00:28:46 +0200 wenzelm simplified type integer;
Tue, 05 Jun 2007 19:19:30 +0200 haftmann tuned integers
Mon, 14 May 2007 12:52:56 +0200 haftmann reorganized float arithmetic
less more (0) tip