src/HOL/IMP/Hoare.thy
changeset 938 621be7ec81d7
parent 937 c7e599f524de
child 939 534955033ed2
     1.1 --- a/src/HOL/IMP/Hoare.thy	Tue Mar 07 14:59:24 1995 +0100
     1.2 +++ b/src/HOL/IMP/Hoare.thy	Tue Mar 07 15:00:34 1995 +0100
     1.3 @@ -1,5 +1,5 @@
     1.4  (*  Title: 	HOL/IMP/Hoare.thy
     1.5 -    ID:         $$
     1.6 +    ID:         $Id$
     1.7      Author: 	Tobias Nipkow
     1.8      Copyright   1995 TUM
     1.9