| Thu, 01 Oct 1998 18:27:17 +0200 | paulson | much tidying | file | diff | annotate |
| Tue, 29 Sep 1998 15:57:42 +0200 | paulson | many renamings and changes. Simproc for cancelling common terms in relations | file | diff | annotate |
| Fri, 25 Sep 1998 13:57:01 +0200 | paulson | Renaming of Integ/Integ.* to Integ/Int.*, and renaming of related constants | file | diff | annotate |
| Wed, 23 Sep 1998 10:25:37 +0200 | paulson | much renaming and reorganization | file | diff | annotate |
| Fri, 18 Sep 1998 16:04:00 +0200 | paulson | new files in Integ | file | diff | annotate |