src/Pure/conjunction.ML
changeset 23613 3f2a6c66e089
parent 23535 58147e5bd070
child 24241 424cb8b5e5b4
equal deleted inserted replaced
23612:52c7bcfc9515 23613:3f2a6c66e089