src/FOLP/ex/Intuitionistic.thy
changeset 35416 d8d7d1b785af
parent 26322 eaf634e975fa
child 35762 af3ff2ba4c54
equal deleted inserted replaced
35342:4dc65845eab3 35416:d8d7d1b785af