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