thys/Spec.thy
changeset 358 06aa99b54423
parent 311 8b8db9558ecf
child 359 fedc16924b76