| Wed, 19 Jul 2000 12:33:19 +0200 | paulson | changed / to // for quotienting; general tidying | file | diff | annotate |
| Sun, 16 Jul 2000 20:55:56 +0200 | wenzelm | use split syntax; | file | diff | annotate |
| Wed, 14 Jun 2000 18:21:25 +0200 | paulson | a big tidy-up | file | diff | annotate |
| Wed, 07 Jun 2000 12:14:18 +0200 | paulson | First round of changes, towards installation of simprocs | file | diff | annotate |
| Wed, 10 May 2000 22:34:30 +0200 | wenzelm | fixed theory deps; | file | diff | annotate |
| Thu, 19 Aug 1999 18:36:41 +0200 | paulson | real literals using binary arithmetic | file | diff | annotate |