src/Pure/Examples/First_Order_Logic.thy
changeset 83060 308127f582bc
parent 80914 d97fdabd9e2b