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