doc-src/IsarImplementation/Thy/Prelim.thy
changeset 44163 32e0c150c010
parent 43547 f3a8476285c6
child 46484 50fca9d09528