Thu, 01 Oct 1998 18:22:24 +0200 | paulson | white space | changeset | files |
Thu, 01 Oct 1998 18:19:34 +0200 | paulson | new simproc functor | changeset | files |
Thu, 01 Oct 1998 18:18:01 +0200 | paulson | Revised version with Abelian group simprocs | changeset | files |