src/FOL/ex/Foundation.thy
changeset 68743 91162dd89571
parent 61489 b8d375aee0df
child 69590 e65314985426