src/FOL/ex/Miniscope.thy
changeset 82894 a8e47bd31965
parent 69593 3dda49e08b9d