doc-src/IsarRef/Thy/First_Order_Logic.thy
changeset 48855 a7d0b9e349ec
parent 45103 a45121ffcfcb