--- a/src/HOL/HOLCF/FOCUS/Buffer_adm.thy Fri Sep 21 21:24:33 2012 +0200 +++ b/src/HOL/HOLCF/FOCUS/Buffer_adm.thy Fri Sep 21 21:24:48 2012 +0200 @@ -297,4 +297,3 @@ end -