src/Tools/intuitionistic.ML
changeset 69981 3dced198b9ec
parent 64556 851ae0e7b09c