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/BridgeJEdit/BridgeJEdit.thy
changeset 60095 5fcd4f0c3886
parent 60044 004bbb5d4417
child 60121 e6cd6dd07d7a
equal deleted inserted replaced
60094:918d4f85b5bc 60095:5fcd4f0c3886 
     4 
     4 
     5 Auxiliary file for bootstrapping Isac
 
     5 Auxiliary file for bootstrapping Isac
 
     6 *)
 
     6 *)
 
     7 
     7 
     8 theory BridgeJEdit
 
     8 theory BridgeJEdit
 
     9   imports Isac
 
     9   imports Calculation
 
    10 begin
 
    10 begin
 
    11 
    11 
    12 end
 
    12 end
 
    13   
    13
wneuper/isa