Thu, 10 Sep 1998 17:49:14 +0200 | paulson | Now WO1_WO7 has a .thy file | changeset | files |
Thu, 10 Sep 1998 17:42:44 +0200 | paulson | eliminated equals0E | changeset | files |
Thu, 10 Sep 1998 17:42:02 +0200 | paulson | fixed PROOF FAILED | changeset | files |