doc-src/IsarRef/Thy/Framework.thy
changeset 47039 1b36a05a070d
parent 42666 fee67c099d03
child 48279 ddf866029eb2