| Mon, 11 Jul 1994 17:50:34 +0200 | nipkow | type constraints | changeset | files |
| Mon, 11 Jul 1994 17:38:10 +0200 | lcp | documented subgoals_tac | changeset | files |
| Mon, 11 Jul 1994 16:47:20 +0200 | lcp | New errata list for the documentation | changeset | files |
| Mon, 11 Jul 1994 16:29:21 +0200 | lcp | misc updates | changeset | files |
| Mon, 11 Jul 1994 13:15:05 +0200 | clasohm | removed flatten_term and replaced add_axioms by add_axioms_i | changeset | files |
| Thu, 07 Jul 1994 19:47:34 +0200 | nipkow | added () around some of the :: | changeset | files |
| Thu, 07 Jul 1994 19:22:49 +0200 | nipkow | changed priority of :: | changeset | files |