src/FOLP/ex/Propositional_Int.thy
changeset 80150 96f60533ec1d
parent 69593 3dda49e08b9d