HomeIsabelle/Phabricator

added lemma to Ordered_Resolution_Prover