--- a/src/HOL/IMP/Hoare.thy Tue Mar 07 14:57:37 1995 +0100 +++ b/src/HOL/IMP/Hoare.thy Tue Mar 07 14:59:24 1995 +0100 @@ -1,5 +1,5 @@ (* Title: HOL/IMP/Hoare.thy - ID: + ID: $$ Author: Tobias Nipkow Copyright 1995 TUM