--- a/src/HOL/Hoare/Examples.ML Wed Jul 19 12:33:36 2000 +0200
+++ b/src/HOL/Hoare/Examples.ML Wed Jul 19 18:57:27 2000 +0200
@@ -1,4 +1,4 @@
-(* Title: HOL/Hoare/Examples.thy
+(* Title: HOL/Hoare/Examples.ML
ID: $Id$
Author: Norbert Galm & Tobias Nipkow
Copyright 1998 TUM
--- a/src/HOL/Hoare/Hoare.ML Wed Jul 19 12:33:36 2000 +0200
+++ b/src/HOL/Hoare/Hoare.ML Wed Jul 19 18:57:27 2000 +0200
@@ -1,4 +1,4 @@
-(* Title: hoare_vcg.thy
+(* Title: HOL/Hoare/Hoare.ML
ID: $Id$
Author: Leonor Prensa Nieto & Tobias Nipkow
Copyright 1998 TUM