1.1 --- a/src/Tools/isac/ProgLang/ListC.thy	Thu Oct 24 14:08:32 2013 +0200
     1.2 +++ b/src/Tools/isac/ProgLang/ListC.thy	Thu Oct 24 15:00:44 2013 +0200
     1.3 @@ -140,10 +140,6 @@
     1.4         Thm ("zip_Nil",num_str @{thm zip_Nil})],
     1.5      scr = EmptyScr}:rls;
     1.6  *}
     1.7 -
     1.8 -ML{*
     1.9 -ruleset' := overwritelthy @{theory} (!ruleset', [("list_rls", list_rls)]);
    1.10 -*}
    1.11  setup {* KEStore_Elems.add_rlss [("list_rls", (Context.theory_name @{theory}, list_rls))] *}
    1.12  
    1.13  end