Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Hull.thy
changeset 68189 6163c90694ef
parent 68073 fad29d2a17a5 
--- 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
isabelle