
diff -r ca691a84b81a -r 4d7502e18f18 src/Tools/isac/ProgLang/ListC.thy
--- a/src/Tools/isac/ProgLang/ListC.thy	Mon Aug 06 10:38:11 2012 +0200
+++ b/src/Tools/isac/ProgLang/ListC.thy	Mon Aug 06 16:19:30 2012 +0200
@@ -146,7 +146,7 @@
 (** rule set for evaluating listexpr in scripts **)
 val list_rls = 
   Rls{id="list_rls",preconds = [], rew_ord = ("dummy_ord",dummy_ord), 
-      erls = e_rls, srls = Erls, calc = [], errpatts = [],
+      erls = Erls, srls = Erls, calc = [], errpatts = [],
       rules = (*8.01: copied from*)
       [Thm ("refl", num_str @{thm refl}),  (*'a<>b -> FALSE' by fun eval_equal*)
        Thm ("o_apply", num_str @{thm o_apply}),




