doc-src/IsarImplementation/Thy/Isar.thy
changeset 35416 d8d7d1b785af
parent 30272 2d612824e642
child 39842 7205191afde4
equal deleted inserted replaced
35342:4dc65845eab3 35416:d8d7d1b785af