--- a/src/Pure/Tools/proof_general_pure.ML Wed Sep 04 13:45:46 2013 +0200
+++ b/src/Pure/Tools/proof_general_pure.ML Wed Sep 04 15:27:24 2013 +0200
@@ -5,6 +5,8 @@
Proof General setup within theory Pure.
*)
+(*Proof General legacy*)
+
structure ProofGeneral_Pure: sig end =
struct