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 |
Thu, 10 Sep 1998 17:40:03 +0200 | paulson | tidied | changeset | files |
Thu, 10 Sep 1998 17:38:36 +0200 | paulson | deleted the bogus equals0E, fixed equals0D | changeset | files |
Thu, 10 Sep 1998 17:36:42 +0200 | paulson | eliminated equals0E | changeset | files |