src/FOL/ex/Foundation.thy
changeset 62337 d3996d5873dd
parent 61489 b8d375aee0df
child 69590 e65314985426