HomeIsabelle/Phabricator

added a few theorems about supremum in Ordered_Resolution_Prover