| Thu, 11 May 2006 19:15:12 +0200 | wenzelm | use IntGraph from Pure; | changeset | files |
| Thu, 11 May 2006 15:46:40 +0200 | krauss | Function Package: Quick-and-dirty-fixed strange "Proved a different theorem bug" | changeset | files |
| Thu, 11 May 2006 11:11:05 +0200 | krauss | Fix: Auto term must apply wf-intro rules repeatedly. | changeset | files |