doc-src/IsarImplementation/Thy/logic.thy
changeset 27809 a1e409db516b
parent 26872 336dfd860744
child 28017 4919bd124a58