doc-src/LaTeXsugar/Sugar/Sugar.thy
changeset 34890 ca41b3d256b5
parent 34878 d7786f56f081
child 36138 1faa0fc34174
equal deleted inserted replaced
34889:dcaf6ec84e28 34890:ca41b3d256b5
     1 (*<*)
     1 (*<*)
     2 theory Sugar
     2 theory Sugar
     3 imports LaTeXsugar OptionalSugar
     3 imports LaTeXsugar OptionalSugar
     4 uses "~~/doc-src/antiquote_setup"
       
     5 begin
     4 begin
     6 (*>*)
     5 (*>*)
     7 
     6 
     8 section "Introduction"
     7 section "Introduction"
     9 
     8