| Sun, 24 Mar 1996 18:36:28 +0100 | clasohm | moved init_data to new public function set_current_thy | changeset | files |
| Fri, 22 Mar 1996 12:06:08 +0100 | clasohm | fixed incompatibility of add_to_parents with SML109's new Io exceptions | changeset | files |
| 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 |