| Thu, 21 Mar 1996 13:02:26 +0100 | paulson | Changes required by removal of the theory argument of Theorem | changeset | files |
| Thu, 21 Mar 1996 11:13:05 +0100 | paulson | Examples call gocls to make goal clauses | changeset | files |
| Thu, 21 Mar 1996 11:11:47 +0100 | paulson | Now labels the Horn and goal clauses to make the proof | changeset | files |
| Thu, 21 Mar 1996 11:09:47 +0100 | paulson | For the new version of name_thm. Now the same theorem | changeset | files |