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