--- 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