doc-src/IsarRef/Thy/Spec.thy
changeset 31105 95f66b234086
parent 30546 b3b1f4184ae4
child 31047 c13b0406c039