author | wenzelm |
Thu, 04 Dec 2014 20:45:11 +0100 | |
changeset 59089 | da2fef2faa83 |
parent 59088 | ff2bd4a14ddb |
child 59090 | a0a05a4edb36 |
--- a/src/HOL/ex/Cartouche_Examples.thy Thu Dec 04 17:05:58 2014 +0100 +++ b/src/HOL/ex/Cartouche_Examples.thy Thu Dec 04 20:45:11 2014 +0100 @@ -1,3 +1,7 @@ +(* Title: HOL/ex/Cartouche_Examples.thy + Author: Makarius +*) + section \<open>Some examples with text cartouches\<close> theory Cartouche_Examples