--- a/src/HOLCF/ex/Hoare.thy Wed Feb 17 09:22:40 2010 -0800 +++ b/src/HOLCF/ex/Hoare.thy Wed Feb 17 10:00:22 2010 -0800 @@ -1,5 +1,4 @@ (* Title: HOLCF/ex/hoare.thy - ID: $Id$ Author: Franz Regensburger Theory for an example by C.A.R. Hoare