Quot/Prove.thy
changeset 757 c129354f2ff6
parent 597 8a1c8dc72b5c