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