src/Tools/float.ML
Sat, 28 Feb 2009 14:09:58 +0100 wenzelm removed Ids;
Tue, 18 Sep 2007 16:08:00 +0200 wenzelm simplified type int (eliminated IntInf.int, integer);
Sat, 15 Sep 2007 19:27:35 +0200 haftmann fixed title
Fri, 29 Jun 2007 21:23:05 +0200 haftmann tuned arithmetic modules
Sat, 09 Jun 2007 00:28:46 +0200 wenzelm simplified type integer;
Tue, 05 Jun 2007 19:19:30 +0200 haftmann tuned integers
Tue, 05 Jun 2007 15:17:02 +0200 haftmann moved generic algebra modules
less more (0) tip