tuned header;
authorwenzelm
Thu Dec 04 20:45:11 2014 +0100 (2014-12-04)
changeset 59089da2fef2faa83
parent 59088 ff2bd4a14ddb
child 59090 a0a05a4edb36
tuned header;
src/HOL/ex/Cartouche_Examples.thy
     1.1 --- a/src/HOL/ex/Cartouche_Examples.thy	Thu Dec 04 17:05:58 2014 +0100
     1.2 +++ b/src/HOL/ex/Cartouche_Examples.thy	Thu Dec 04 20:45:11 2014 +0100
     1.3 @@ -1,3 +1,7 @@
     1.4 +(*  Title:      HOL/ex/Cartouche_Examples.thy
     1.5 +    Author:     Makarius
     1.6 +*)
     1.7 +
     1.8  section \<open>Some examples with text cartouches\<close>
     1.9  
    1.10  theory Cartouche_Examples