doc-src/IsarImplementation/Thy/Prelim.thy
changeset 36949 080e85d46108
parent 36611 b0c047d03208
child 37533 d775bd70f571