| Mon, 06 Sep 1999 16:59:46 +0200 | wenzelm | isabelle-pdfdocs; | changeset | files |
| Mon, 06 Sep 1999 16:57:53 +0200 | wenzelm | close_block: removed ProofContext.transfer_used_names; | changeset | files |
| Mon, 06 Sep 1999 16:57:33 +0200 | wenzelm | removed thms_closure (unused); | changeset | files |