# HG changeset patch
# User oheimb
# Date 888504106 -3600
# Node ID 92d43c23939879dc350ddfb6f483a515654bebe6
# Parent  941c9b169dc40db066fc4b49876106985775dd4f
removed superfluous addss

diff -r 941c9b169dc4 -r 92d43c239398 src/HOL/TLA/cladata.ML
--- a/src/HOL/TLA/cladata.ML	Thu Feb 26 11:07:57 1998 +0100
+++ b/src/HOL/TLA/cladata.ML	Thu Feb 26 15:41:46 1998 +0100
@@ -51,7 +51,7 @@
 
 AddSIs [actionI,intI];
 AddDs  [actionD,intD];
-claset_ref() := claset() addss (simpset());
 
 
 
+