-
Thorsten Wißmann authored
Patch by Florian Widmann In order to fix the behaviour for the K*K formulas [pi1]<R>c0 | [pi1]<S>c1 | [pi2]<T>c3 [pi1]<R>c0 | [pi1]<S>c1 | [pi2]<T>c3 | [pi1][U]c4
d283bf7a
Patch by Florian Widmann In order to fix the behaviour for the K*K formulas [pi1]<R>c0 | [pi1]<S>c1 | [pi2]<T>c3 [pi1]<R>c0 | [pi1]<S>c1 | [pi2]<T>c3 | [pi1][U]c4