prio/PrioGDef.thy
changeset 292 1f16ff7fea94
parent 291 5ef9f6ebe827
child 294 bc5bf9e9ada2
equal deleted inserted replaced
291:5ef9f6ebe827 292:1f16ff7fea94