doc-src/IsarImplementation/Thy/Logic.thy
changeset 33319 74f0dcc0b5fb
parent 33174 1f2051f41335
child 34921 008126f730a0