src/HOL/cladata.ML

--- a/src/HOL/cladata.ML	Mon Oct 17 23:10:10 2005 +0200
+++ b/src/HOL/cladata.ML	Mon Oct 17 23:10:13 2005 +0200
@@ -70,4 +70,4 @@
 val HOL_cs = prop_cs addSIs [allI,ex_ex1I] addIs [exI, the_equality] 
                      addSEs [exE] addEs [allE];
 
-val clasetup = [fn thy => (claset_ref_of thy := HOL_cs; thy)];
+val clasetup = [fn thy => (change_claset_of thy (fn _ => HOL_cs); thy)];