--- a/src/HOLCF/FOCUS/Buffer_adm.thy Wed Feb 17 09:22:40 2010 -0800 +++ b/src/HOLCF/FOCUS/Buffer_adm.thy Wed Feb 17 10:00:22 2010 -0800 @@ -1,5 +1,4 @@ (* Title: HOLCF/FOCUS/Buffer_adm.thy - ID: $Id$ Author: David von Oheimb, TU Muenchen *)