doc-src/IsarRef/Thy/Spec.thy
changeset 46631 2c5c003cee35
parent 45600 1bbbac9a0cb0
child 46999 1c3c185bab4e