src/Tools/intuitionistic.ML
changeset 82801 c8d92d4ced73
parent 64556 851ae0e7b09c