Dynamic_static.thy
changeset 69 fc7151df7f8e
parent 68 742bed613245
child 70 002c34a6ff4f