src/FOL/ex/Miniscope.thy
changeset 67087 733017b19de9
parent 61489 b8d375aee0df
child 68536 e14848001c4c