| 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 |