Quot/Prove.thy
changeset 865 5c6d76c3ba5c
parent 597 8a1c8dc72b5c
equal deleted inserted replaced
864:999870716cc8 865:5c6d76c3ba5c