doc-src/IsarImplementation/Thy/logic.thy
changeset 24582 57599da58045
parent 22322 b9924abb8c66
child 24828 137c242e7277