src/Tools/intuitionistic.ML
changeset 74077 b93d8c2ebab0
parent 64556 851ae0e7b09c