diff -r 2af1f142f855 -r 6163c90694ef src/HOL/Hull.thy
--- a/src/HOL/Hull.thy	Tue May 15 11:33:43 2018 +0200
+++ b/src/HOL/Hull.thy	Tue May 15 13:57:39 2018 +0200
@@ -1,8 +1,8 @@
-(* Title:   Hull.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
+(*  Title:      HOL/Hull.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
 *)
 
 theory Hull