aded thy_data;

--- 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;