1.1 --- a/src/Tools/isac/Knowledge/EqSystem.thy	Mon Jul 15 08:28:50 2013 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/EqSystem.thy	Wed Jul 17 07:32:53 2013 +0200
     1.3 @@ -262,7 +262,7 @@
     1.4    Seq {id = "simplify_System_parenthesized", preconds = []:term list, 
     1.5         rew_ord = ("dummy_ord", dummy_ord),
     1.6        erls = Atools_erls, srls = Erls, calc = [], errpatts = [],
     1.7 -      rules = [Thm ("left_distrib",num_str @{thm left_distrib}),
     1.8 +      rules = [Thm ("distrib_right",num_str @{thm distrib_right}),
     1.9   	       (*"(?z1.0 + ?z2.0) * ?w = ?z1.0 * ?w + ?z2.0 * ?w"*)
    1.10  	       Thm ("add_divide_distrib",num_str @{thm add_divide_distrib}),
    1.11   	       (*"(?x + ?y) / ?z = ?x / ?z + ?y / ?z"*)