wneuper/isa: test/Tools/isac/ADDTESTS/accumulate-val/Thy

test/Tools/isac/ADDTESTS/accumulate-val/Thy_4.thy

author	Mathias Lehnfeld <s1210629013@students.fh-hagenberg.at>
	Mon, 27 Jan 2014 21:49:27 +0100
changeset 55359	73dc85c025ab
parent 52146	f47e195af9a3
child 59410	2cbb98890190
permissions	-rw-r--r--

cleanup, naming: 'KEStore_Elems' in Tests now 'Test_KEStore_Elems', 'store_pbts' now 'add_pbts'

     1 theory Thy_4 imports Lucas_Interpreter (*!!!!!*) begin

     3 setup {* Test_KEStore_Elems.add_rlss [("rls1", ("Thy_4", Erls)), ("rls2", ("Thy_4", Erls))] *}

     5 end

wneuper/isa