* New prover for coherent logic (see src/Tools/coherent.ML).
* New prover for coherent logic (see src/Tools/coherent.ML).

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle