src/Tools/intuitionistic.ML
changeset 74088 6d8674ffb962
parent 64556 851ae0e7b09c
equal deleted inserted replaced
74087:12c984b7d391 74088:6d8674ffb962