Mercurial Mercurial > wneuper > isa / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
src/Tools/isac/xmlsrc/xmlsrc.thy
changeset 59250 727dff4f6b2c
parent 59216 f4693c6f4bb2
child 59276 56dc790071cb
equal deleted inserted replaced
59249:12dffe6c0a8b 59250:727dff4f6b2c 
    14   ML_file "~~/src/Tools/isac/xmlsrc/thy-hierarchy.sml" 
    14   ML_file "~~/src/Tools/isac/xmlsrc/thy-hierarchy.sml" 
    15   ML_file "~~/src/Tools/isac/xmlsrc/interface-xml.sml"
 
    15   ML_file "~~/src/Tools/isac/xmlsrc/interface-xml.sml"
 
    16 
    16 
    17 ML {*
 
    17 ML {*
 
    18 *} ML {*
 
    18 *} ML {*
 
    19 *} ML {*
 
       
    20 *} ML {*
 
       
    21 *} ML {*
 
       
    22 *}
 
    19 *}
 
    23 
    20 
    24 end
 
    21 end
wneuper/isa