doc-src/IsarImplementation/Thy/logic.thy
changeset 29972 aee7610106fd
parent 29615 24a58ae5dc0e