doc-src/Classes/Thy/Setup.thy
changeset 41413 64cd30d6b0b8
parent 38321 7edf0ab9d5cb
child 42224 578a51fae383
     1.1 --- a/doc-src/Classes/Thy/Setup.thy	Wed Dec 29 13:51:17 2010 +0100
     1.2 +++ b/doc-src/Classes/Thy/Setup.thy	Wed Dec 29 17:34:41 2010 +0100
     1.3 @@ -1,5 +1,5 @@
     1.4  theory Setup
     1.5 -imports Main Code_Integer
     1.6 +imports Main "~~/src/HOL/Library/Code_Integer"
     1.7  uses
     1.8    "../../antiquote_setup.ML"
     1.9    "../../more_antiquote.ML"