src/Pure/General/rat.ML
Mon, 04 Jun 2007 11:39:19 +0200 chaieb removed fixmes
Mon, 04 Jun 2007 11:38:34 +0200 chaieb opaque-constraint removed
Mon, 21 May 2007 19:11:42 +0200 haftmann tuned
Sat, 19 May 2007 19:08:06 +0200 chaieb added lt and some other infix operation analogous to Ocaml's num library
Sun, 13 May 2007 18:15:25 +0200 haftmann tuned
Tue, 03 Apr 2007 19:24:21 +0200 wenzelm avoid overloaded integer constants (accomodate Alice);
Fri, 26 Jan 2007 10:22:42 +0100 paulson Fixed long-standing, MAJOR bug in "lt"
Thu, 04 May 2006 12:50:01 +0200 webertj Rat.one added
Fri, 21 Oct 2005 14:47:37 +0200 haftmann slight corrections
Fri, 21 Oct 2005 08:23:45 +0200 haftmann added rounding functions
Fri, 14 Oct 2005 14:36:39 +0200 haftmann added module rat.ML for rational numbers
less more (0) tip