| Mon, 07 Jun 1999 22:18:26 +0200 | wenzelm | tuned mode_name; | changeset | files |
| Mon, 07 Jun 1999 22:17:23 +0200 | wenzelm | improved handling of assumptions; | changeset | files |
| Mon, 07 Jun 1999 22:16:56 +0200 | wenzelm | facts: bind named props (from proof.ML/let_thms); | changeset | files |