-
Ralf Jung authored
write tactics to move particular assertions to the front, and to introduce a (*) while taking paticular assertions to the left/right
930f9f47
write tactics to move particular assertions to the front, and to introduce a (*) while taking paticular assertions to the left/right