Mon, 06 Sep 1999 17:03:19 +0200 | wenzelm | added; | changeset | files |
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 |