doc-src/IsarRef/Thy/First_Order_Logic.thy
changeset 45217 c4fab1099cd0
parent 45103 a45121ffcfcb