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 |