src/FOLP/ex/Quantifiers_Int.thy
changeset 35416 d8d7d1b785af
parent 26408 6964c4799f47
child 35762 af3ff2ba4c54