enclosed in (*<*) (*>*)

--- 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