| Fri, 30 Jun 2006 12:22:29 +0200 | mengj | Removed some incorrect axioms. | changeset | files |
| Fri, 30 Jun 2006 12:04:17 +0200 | haftmann | fixed stale theory bug | changeset | files |
| 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 |
| Thu, 29 Jun 2006 01:08:08 +0200 | kleing | use -f in cp to overwrite read-only files (e.g. .svn in document/) | changeset | files |
| Wed, 28 Jun 2006 17:54:00 +0200 | webertj | world map now transparent | changeset | files |
| Wed, 28 Jun 2006 14:36:47 +0200 | haftmann | improvements in Classpackage | changeset | files |
| Wed, 28 Jun 2006 14:36:09 +0200 | haftmann | reduced code, better instance command | changeset | files |
| Wed, 28 Jun 2006 14:35:51 +0200 | haftmann | slight improvements in code generation | changeset | files |