Sat, 01 Jul 2000 17:52:52 +0200 | nipkow | Defined abs on int. | file | diff | annotate |
Wed, 24 May 2000 18:41:09 +0200 | paulson | installing plus_ac0 for int | 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 |