--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/ZF/thy_data.ML	Thu Aug 08 16:28:37 1996 +0200
@@ -0,0 +1,14 @@
+(*  Title:      ZF/thy_data.ML
+    ID:         $Id$
+    Author:     Stefan Berghofer
+    Copyright   1996 TU Muenchen
+
+Definitions that have to be reread after init_thy_reader has been invoked
+*)
+
+fun claset_of tname =
+  case get_thydata tname "claset" of
+      None => empty_cs
+    | Some (CS_DATA cs) => cs;
+
+