src/FOL/FOL.thy
changeset 67087 733017b19de9
parent 63120 629a4c5e953e
child 69590 e65314985426