--- a/src/HOL/Modules.thy Tue May 15 11:33:43 2018 +0200
+++ b/src/HOL/Modules.thy Tue May 15 13:57:39 2018 +0200
@@ -1,9 +1,9 @@
-(* Title: Modules.thy
- Author: Amine Chaieb, University of Cambridge
- Author: Jose Divasón <jose.divasonm at unirioja.es>
- Author: Jesús Aransay <jesus-maria.aransay at unirioja.es>
- Author: Johannes Hölzl, VU Amsterdam
- Author: Fabian Immler, TUM
+(* Title: HOL/Modules.thy
+ Author: Amine Chaieb, University of Cambridge
+ Author: Jose Divasón <jose.divasonm at unirioja.es>
+ Author: Jesús Aransay <jesus-maria.aransay at unirioja.es>
+ Author: Johannes Hölzl, VU Amsterdam
+ Author: Fabian Immler, TUM
*)
section \<open>Modules\<close>