Quot/Prove.thy
changeset 651 fac547bde4c4
parent 597 8a1c8dc72b5c
equal deleted inserted replaced
650:bbaa07eea396 651:fac547bde4c4