src/Sequents/ILL/ILL_kleene_lemmas.ML
changeset 17481 75166ebb619b
parent 6252 935f183bf406
equal deleted inserted replaced
17480:fd19f77dcf60 17481:75166ebb619b