src/FOL/cladata.ML

--- a/src/FOL/cladata.ML	Mon Oct 17 23:10:10 2005 +0200
+++ b/src/FOL/cladata.ML	Mon Oct 17 23:10:13 2005 +0200
@@ -50,7 +50,7 @@
 val FOL_cs = prop_cs addSIs [allI,ex_ex1I] addIs [exI] 
                      addSEs [exE,alt_ex1E] addEs [allE];
 
-val cla_setup = [fn thy => (claset_ref_of thy := FOL_cs; thy)];
+val cla_setup = [fn thy => (change_claset_of thy (fn _ => FOL_cs); thy)];
 
 val case_setup =
  [Method.add_methods