--- a/src/HOL/TLA/cladata.ML Wed Feb 25 15:51:24 1998 +0100 +++ b/src/HOL/TLA/cladata.ML Wed Feb 25 20:25:27 1998 +0100 @@ -51,7 +51,7 @@ AddSIs [actionI,intI]; AddDs [actionD,intD]; -Addss (simpset()); +claset_ref() := claset() addss (simpset());