*** empty log message ***
authornipkow
Tue Mar 07 15:00:34 1995 +0100 (1995-03-07)
changeset 938621be7ec81d7
parent 937 c7e599f524de
child 939 534955033ed2
*** empty log message ***
src/HOL/IMP/Hoare.ML
src/HOL/IMP/Hoare.thy
     1.1 --- a/src/HOL/IMP/Hoare.ML	Tue Mar 07 14:59:24 1995 +0100
     1.2 +++ b/src/HOL/IMP/Hoare.ML	Tue Mar 07 15:00:34 1995 +0100
     1.3 @@ -1,5 +1,5 @@
     1.4  (*  Title: 	HOL/IMP/Hoare.ML
     1.5 -    ID:
     1.6 +    ID:         $Id$
     1.7      Author: 	Tobias Nipkow
     1.8      Copyright   1995 TUM
     1.9  
     2.1 --- a/src/HOL/IMP/Hoare.thy	Tue Mar 07 14:59:24 1995 +0100
     2.2 +++ b/src/HOL/IMP/Hoare.thy	Tue Mar 07 15:00:34 1995 +0100
     2.3 @@ -1,5 +1,5 @@
     2.4  (*  Title: 	HOL/IMP/Hoare.thy
     2.5 -    ID:         $$
     2.6 +    ID:         $Id$
     2.7      Author: 	Tobias Nipkow
     2.8      Copyright   1995 TUM
     2.9