doc-src/IsarImplementation/Thy/Logic.thy
changeset 43282 5d294220ca43
parent 42934 287182c2f23a
child 46253 3e427a12f0f3