| Fri, 17 Jun 1994 17:47:42 +0200 | lcp | problem 38 is provable | changeset | files |
| Fri, 17 Jun 1994 16:51:37 +0200 | nipkow | ordered rewriting applies to conditional rules as well now | changeset | files |
| 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 |
| Thu, 16 Jun 1994 12:05:53 +0200 | wenzelm | (beta release) | changeset | files |