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/Frontend/Frontend.thy
changeset 59252 7d3dbc1171ff
parent 59138 edb5ce92451e
child 59472 3e904f8ec16c
equal deleted inserted replaced
59251:241e06eb9c04 59252:7d3dbc1171ff 
    11   ML_file "~~/src/Tools/isac/Frontend/states.sml"
 
    11   ML_file "~~/src/Tools/isac/Frontend/states.sml"
 
    12   ML_file "~~/src/Tools/isac/Frontend/interface.sml"
 
    12   ML_file "~~/src/Tools/isac/Frontend/interface.sml"
 
    13 
    13 
    14   ML_file "~~/src/Tools/isac/print_exn_G.sml"
 
    14   ML_file "~~/src/Tools/isac/print_exn_G.sml"
 
    15 
    15 
       
    16 ML {*
 
       
    17 *} ML {*
 
       
    18 *} 
    16 end
 
    19 end
wneuper/isa