1.1 --- a/src/Tools/isac/xmlsrc/xmlsrc.thy	Wed Dec 21 11:27:22 2016 +0100
     1.2 +++ b/src/Tools/isac/xmlsrc/xmlsrc.thy	Thu Dec 22 10:25:49 2016 +0100
     1.3 @@ -13,7 +13,7 @@
     1.4    ML_file "~~/src/Tools/isac/xmlsrc/pbl-met-hierarchy.sml"
     1.5    ML_file "~~/src/Tools/isac/xmlsrc/thy-hierarchy.sml" 
     1.6    ML_file "~~/src/Tools/isac/xmlsrc/interface-xml.sml"
     1.7 -
     1.8 +(*declare [[ML_print_depth = 999]]*)
     1.9  ML {*
    1.10  *} ML {*
    1.11  *}