doc-src/IsarImplementation/Thy/Logic.thy
changeset 38806 0aafc7e81056
parent 36345 3cbce59ed78d
child 39281 148b78fb70d8