doc-src/IsarRef/Thy/First_Order_Logic.thy
changeset 36455 30f96b4b108b
parent 29735 1da96affdefe
child 42651 e3fdb7c96be5