doc-src/IsarRef/Thy/First_Order_Logic.thy
changeset 46305 8ea02e499d53
parent 45103 a45121ffcfcb