changeset 15465 | a4c8a8d034b0 |
parent 15428 | 3f1a674b7ec7 |
--- 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