doc-src/IsarImplementation/Thy/Logic.thy
changeset 38479 e628da370072
parent 36345 3cbce59ed78d
child 39281 148b78fb70d8