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/ProgLang/scrtools.sml
branchisac-update-Isa09-2
changeset 38025 67a110289e4e
parent 38015 67ba02dffacc
child 38031 460c24a6a6ba
equal deleted inserted replaced
38024:20231cdf39e7 38025:67a110289e4e 
     1 (* tools which depend on Script.thy and thus are not in term.sml
 
     1 (* tools which depend on Script.thy and thus are not in termC.sml
 
     2    (c) Walther Neuper 2000
 
     2    (c) Walther Neuper 2000
 
     3 
     3 
     4 use"ProgLang/scrtools.sml";
 
     4 use"ProgLang/scrtools.sml";
 
     5 use"scrtools.sml";
 
     5 use"scrtools.sml";
 
     6 *)
 
     6 *)
wneuper/isa