src/HOL/Bali/ROOT.ML

--- a/src/HOL/Bali/ROOT.ML	Wed May 14 15:22:37 2003 +0200
+++ b/src/HOL/Bali/ROOT.ML	Wed May 14 20:29:18 2003 +0200
@@ -1,4 +1,11 @@
-set timing;
+(*  Title:      isabelle/Bali/ROOT3.ML
+    ID:         $Id$
+    Author:     David von Oheimb
+    Copyright   1999 Technische Universitaet Muenchen
+
+The Hoare logic for Bali
+*)
+
 update_thy "AxExample";
 update_thy "AxSound";
 update_thy "AxCompl";