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