diff -r 0a36a8722b80 -r b772eb34c16c src/Tools/isac/ProgLang/ListC.thy
--- a/src/Tools/isac/ProgLang/ListC.thy	Sat Feb 26 12:53:00 2011 +0100
+++ b/src/Tools/isac/ProgLang/ListC.thy	Tue Mar 01 15:23:59 2011 +0100
@@ -197,6 +197,4 @@
   [("list_rls",list_rls)
    ]);
 *}
-(*-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.
--.-.-.-.-.-.-isolate response.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.-.*)
 end