Attic/Prove.thy
changeset 1751 6d6c36f7dd1e
parent 948 25c4223635f4
child 1949 0b692f37a771