Fri, 30 Jun 2006 12:04:03 +0200 | haftmann | slight refinements | changeset | files |
Fri, 30 Jun 2006 12:03:36 +0200 | haftmann | refinement in instance command | changeset | files |
Fri, 30 Jun 2006 12:03:21 +0200 | haftmann | small change in class_package | changeset | files |
Thu, 29 Jun 2006 18:11:15 +0200 | paulson | added the "th" field to datatype Clause | changeset | files |
Thu, 29 Jun 2006 18:10:59 +0200 | paulson | fixed the "factor" method | changeset | files |
Thu, 29 Jun 2006 13:53:05 +0200 | nipkow | new function norm_term | changeset | files |
Thu, 29 Jun 2006 13:52:28 +0200 | nipkow | new method "normalization" | changeset | files |