Dynamic_static.thy
changeset 90 003cac7b8bf5
parent 74 271e9818b6f6