diff -r 14b2c22a7e40 -r 71590b7733b7 src/HOL/Algebra/Module.thy
--- a/src/HOL/Algebra/Module.thy	Thu May 06 12:43:00 2004 +0200
+++ b/src/HOL/Algebra/Module.thy	Thu May 06 14:14:18 2004 +0200
@@ -1,4 +1,4 @@
-(*  Title:      HOL/Algebra/Module
+(*  Title:      HOL/Algebra/Module.thy
     ID:         $Id$
     Author:     Clemens Ballarin, started 15 April 2003
     Copyright:  Clemens Ballarin