src/Pure/Isar/proof_context.ML
changeset 15725 95c33d627cdd
parent 15703 727ef1b8b3ee
child 15735 953f188e16c6
--- a/src/Pure/Isar/proof_context.ML	Wed Apr 13 18:50:08 2005 +0200
+++ b/src/Pure/Isar/proof_context.ML	Wed Apr 13 18:51:28 2005 +0200
@@ -1548,3 +1548,4 @@
 val setup = [ProofDataData.init];
 
 end;
+