1.1 --- a/src/Tools/isac/ProgLang/ListC.thy	Mon Jul 30 16:41:08 2012 +0200
     1.2 +++ b/src/Tools/isac/ProgLang/ListC.thy	Tue Jul 31 15:16:47 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 = [], (*asm_thm=[],*)
     1.8 +      erls = e_rls, 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}),