src/Sequents/ILL/ILL_kleene_lemmas.ML
changeset 17481 75166ebb619b
parent 6252 935f183bf406