src/Tools/intuitionistic.ML
changeset 43721 fad8634cee62
parent 36960 01594f816e3a
child 52732 b4da1f2ec73f
equal deleted inserted replaced
43720:8dd722886c76 43721:fad8634cee62