src/HOL/Hoare/Examples.thy
changeset 5646 7c2ddbaf8b8c
parent 1625 40501958d0f6
child 13682 91674c8a008b
     1.1 --- a/src/HOL/Hoare/Examples.thy	Wed Oct 14 11:51:11 1998 +0200
     1.2 +++ b/src/HOL/Hoare/Examples.thy	Wed Oct 14 15:26:31 1998 +0200
     1.3 @@ -1,9 +1,9 @@
     1.4  (*  Title:      HOL/Hoare/Examples.thy
     1.5      ID:         $Id$
     1.6      Author:     Norbert Galm
     1.7 -    Copyright   1995 TUM
     1.8 +    Copyright   1998 TUM
     1.9  
    1.10 -Various arithmetic examples.
    1.11 +Various examples.
    1.12  *)
    1.13  
    1.14  Examples = Hoare + Arith2