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