# HG changeset patch
# User wenzelm
# Date 1417722311 -3600
# Node ID da2fef2faa83cd2bdeac4f6790cefbcebb384fd4
# Parent  ff2bd4a14ddb3ed49f2b74254478b9f5858a9b0f
tuned header;

diff -r ff2bd4a14ddb -r da2fef2faa83 src/HOL/ex/Cartouche_Examples.thy
--- 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