doc-src/IsarRef/Thy/Framework.thy
changeset 45217 c4fab1099cd0
parent 42666 fee67c099d03
child 48279 ddf866029eb2