doc-src/IsarRef/Thy/Framework.thy
changeset 48891 c0eafbd55de3
parent 48279 ddf866029eb2