Changed how triggers for certain QP-related axioms are generated
Changed how triggers for certain QP-related axioms are generated

sccblom/vercors,sccblom/vercors,sccblom/vercors,sccblom/vercors,sccblom/vercors