--- a/src/HOL/Bali/AxCompl.thy Mon Jan 28 18:48:25 2002 +0100
+++ b/src/HOL/Bali/AxCompl.thy Mon Jan 28 18:50:23 2002 +0100
@@ -1,4 +1,4 @@
-(* Title: isabelle/Bali/AxCompl.thy
+(* Title: HOL/Bali/AxCompl.thy
ID: $Id$
Author: David von Oheimb
Copyright 1999 Technische Universitaet Muenchen