Wed, 04 May 1994 17:47:30 +0200 | lcp | Bool.ML: replaced many rewrite_goals_tac calls by prove_goalw | changeset | files |
Tue, 03 May 1994 18:38:28 +0200 | lcp | final Springer version | changeset | files |
Tue, 03 May 1994 18:36:18 +0200 | lcp | post-CRC corrections | changeset | files |