# HG changeset patch
# User wenzelm
# Date 1113411088 -7200
# Node ID 95c33d627cdd601fbd39fb66e0a8c2d20c884bef
# Parent  1b89c781a7ecc3b7d5cc056cef41cf9b9d3559f9
*** MESSAGE REFERS TO PREVIOUS VERSION ***
added read_tyname/const;

diff -r 1b89c781a7ec -r 95c33d627cdd src/Pure/Isar/proof_context.ML
--- 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;
+