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/Language.thy
branchdecompose-isar
changeset 41905 b772eb34c16c
parent 37966 78938fc8e022
equal deleted inserted replaced
41903:0a36a8722b80 41905:b772eb34c16c 
     2    Author: Walther Neuper 100831
 
     2    Author: Walther Neuper 100831
 
     3    (c) due to copyright terms
 
     3    (c) due to copyright terms
 
     4  *)
 
     4  *)
 
     5 
     5 
     6 theory Language imports Script
 
     6 theory Language imports Script
 
     7 uses ("../ProgLang/scrtools.sml")
 
     7   uses ("../ProgLang/scrtools.sml")
 
     8 begin
 
     8 begin
 
     9 
     9 
    10 use "../ProgLang/scrtools.sml"
 
    10 use "../ProgLang/scrtools.sml"
 
    11 
    11 
    12 end
 
    12 end
wneuper/isa