# HG changeset patch
# User nipkow
# Date 1106660956 -3600
# Node ID a4c8a8d034b0b105a7e1c996bfba29617d7c97ef
# Parent  02cc838b64cac4a059a724569fe1d54f22a46517
enclosed in (*<*) (*>*)

diff -r 02cc838b64ca -r a4c8a8d034b0 doc-src/LaTeXsugar/Sugar/LaTeXsugar.thy
--- a/doc-src/LaTeXsugar/Sugar/LaTeXsugar.thy	Mon Jan 24 18:18:28 2005 +0100
+++ b/doc-src/LaTeXsugar/Sugar/LaTeXsugar.thy	Tue Jan 25 14:49:16 2005 +0100
@@ -1,3 +1,4 @@
+(*<*)
 theory LaTeXsugar
 imports Main
 begin
@@ -78,4 +79,5 @@
   "_asms" :: "prop \<Rightarrow> asms \<Rightarrow> asms" ("_ /\<^raw:{\rmfamily\upshape\normalsize \,>and\<^raw:\,}>/ _")
   "_asm" :: "prop \<Rightarrow> asms" ("_")
 
-end
\ No newline at end of file
+end
+(*>*)
\ No newline at end of file