src/HOL/Hoare/Examples.thy

--- a/src/HOL/Hoare/Examples.thy	Wed Oct 14 11:51:11 1998 +0200
+++ b/src/HOL/Hoare/Examples.thy	Wed Oct 14 15:26:31 1998 +0200
@@ -1,9 +1,9 @@
 (*  Title:      HOL/Hoare/Examples.thy
     ID:         $Id$
     Author:     Norbert Galm
-    Copyright   1995 TUM
+    Copyright   1998 TUM
 
-Various arithmetic examples.
+Various examples.
 *)
 
 Examples = Hoare + Arith2