# HG changeset patch # User nipkow # Date 794584764 -3600 # Node ID c7e599f524dee8fc6b103b278e4feabbed04cd4d # Parent a6d7b40847610cb68c2c6d13ad6775fd9541faa1 *** empty log message *** diff -r a6d7b4084761 -r c7e599f524de src/HOL/IMP/Hoare.thy --- 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