Mercurial Mercurial > wneuper > isa / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
test/Tools/isac/ADDTESTS/accumulate-val/Thy_5.thy
changeset 55359 73dc85c025ab
parent 52146 f47e195af9a3
child 59410 2cbb98890190
equal deleted inserted replaced
55358:b1f0389ca11f 55359:73dc85c025ab 
     1 theory Thy_5 imports Thy_4 begin
 
     1 theory Thy_5 imports Thy_4 begin
 
     2 
     2 
     3 setup {* KEStore_Elems.add_rlss [("rls", ("Thy_5", Erls))] *}
 
     3 setup {* Test_KEStore_Elems.add_rlss [("rls", ("Thy_5", Erls))] *}
 
     4 
     4 
     5 end                             
     5 end
wneuper/isa