doc-src/ProgProve/Thys/Logic.thy
changeset 47893 4cf901b1089a
parent 47727 027c7f8cef22