doc-src/IsarRef/Thy/Framework.thy
changeset 31105 95f66b234086
parent 29742 8edd5198dedb
child 36357 641a521bfc19