1.1 --- a/src/Tools/isac/Knowledge/EqSystem.thy	Wed Sep 01 16:43:58 2010 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/EqSystem.thy	Thu Sep 02 15:11:23 2010 +0200
     1.3 @@ -293,8 +293,8 @@
     1.4  (*
     1.5  val simplify_System = 
     1.6      append_rls "simplify_System" simplify_System_parenthesized
     1.7 -	       [Thm ("sym_real_add_assoc",
     1.8 -                      num_str (@{thm real_add_assoc} RS @{thm sym}))];
     1.9 +	       [Thm ("sym_add_assoc",
    1.10 +                      num_str (@{thm add_assoc} RS @{thm sym}))];
    1.11  *)
    1.12  
    1.13  val isolate_bdvs =