# HG changeset patch
# User wenzelm
# Date 878555142 -3600
# Node ID bcff38832d893c5fc4a79ac8947d9a8c7c5aa075
# Parent  423d0d527cbc9cc33ca9f7e67a3f04e2258c9410
aded thy_data;

diff -r 423d0d527cbc -r bcff38832d89 src/HOL/HOL.thy
--- a/src/HOL/HOL.thy	Mon Nov 03 12:04:38 1997 +0100
+++ b/src/HOL/HOL.thy	Mon Nov 03 12:05:42 1997 +0100
@@ -206,3 +206,8 @@
 
 val print_ast_translation =
   map alt_ast_tr' [("! ", "*All"), ("? ", "*Ex"), ("?! ", "*Ex1")];
+
+
+(** HOL theory data **)
+
+val thy_data = ThyData.hol_data;