doc-src/LaTeXsugar/Sugar/Sugar.thy
changeset 41413 64cd30d6b0b8
parent 38980 af73cf0dc31f
child 42289 dafae095d733
     1.1 --- a/doc-src/LaTeXsugar/Sugar/Sugar.thy	Wed Dec 29 13:51:17 2010 +0100
     1.2 +++ b/doc-src/LaTeXsugar/Sugar/Sugar.thy	Wed Dec 29 17:34:41 2010 +0100
     1.3 @@ -1,6 +1,6 @@
     1.4  (*<*)
     1.5  theory Sugar
     1.6 -imports LaTeXsugar OptionalSugar
     1.7 +imports "~~/src/HOL/Library/LaTeXsugar" "~~/src/HOL/Library/OptionalSugar"
     1.8  begin
     1.9  (*>*)
    1.10