src/Pure/conjunction.ML
changeset 38980 af73cf0dc31f
parent 35985 0bbf0d2348f9
child 43329 84472e198515