src/FOLP/ex/Foundation.thy
changeset 35416 d8d7d1b785af
parent 25991 31b38a39e589
child 35762 af3ff2ba4c54
equal deleted inserted replaced
35342:4dc65845eab3 35416:d8d7d1b785af