Fri, 22 Oct 1999 18:35:20 +0200 | paulson | ALMOST working version: LocalTo results commented out | changeset | files |
Fri, 22 Oct 1999 18:33:39 +0200 | paulson | new default simprules for UN and INT | changeset | files |
Fri, 22 Oct 1999 18:26:46 +0200 | paulson | new theorems on Image | changeset | files |