1.1 --- a/src/Tools/isac/ProgLang/ListC.thy	Sat Feb 26 12:53:00 2011 +0100
     1.2 +++ b/src/Tools/isac/ProgLang/ListC.thy	Tue Mar 01 15:23:59 2011 +0100
     1.3 @@ -197,6 +197,4 @@
     1.4    [("list_rls",list_rls)
     1.5     ]);
     1.6  *}
     1.7 -(*-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.
     1.8 --.-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.*)
     1.9  end