Thu, 08 Jul 1999 13:43:42 +0200 | paulson | Introduction of integer division algorithm | file | diff | annotate |
Mon, 05 Oct 1998 10:19:21 +0200 | paulson | simpler interface for Abel_Cancel | file | diff | annotate |
Thu, 01 Oct 1998 18:27:55 +0200 | paulson | now invokes functor | 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 |
Thu, 24 Sep 1998 17:17:14 +0200 | oheimb | renamed mk_meta_eq to mk_eq | file | diff | annotate |
Fri, 18 Sep 1998 14:39:51 +0200 | paulson | new files in Integ | file | diff | annotate |