doc-src/IsarImplementation/Thy/logic.thy
changeset 26149 6094349a4de9
parent 24972 acafb18a47dc
child 26872 336dfd860744