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