1
2 # test-setup according to ~~/test/Tools/isac/Test_Isac.thy
3 xcoding-to-test.sh # extend signatures for tests
4 zcoding-to-test.sh # -"- + go back to Test_Isac.thy
5
6 xtest-to-coding.sh # clean signatures for coding
7 ztest-to-coding.sh # -"- + go back to coding (!update thy!)