| Fri, 17 Jun 1994 12:43:24 +0200 | clasohm | replaced "foldl merge_theories" by "merge_thy_list" in base_on | changeset | files |
| Thu, 16 Jun 1994 12:07:40 +0200 | wenzelm | added 'subclass' section; | changeset | files |
| Thu, 16 Jun 1994 12:06:56 +0200 | wenzelm | base_on: added 'mk_draft' arg; | changeset | files |