# HG changeset patch
# User berghofe
# Date 839514517 -7200
# Node ID 591b76ead155e21f854aaa7c43a67c965a40167c
# Parent  e349b91cf1975b776987272b66aa6a90ccbd1c34
Initial revision of thy_data.ML

diff -r e349b91cf197 -r 591b76ead155 src/ZF/thy_data.ML
--- /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;
+
+