Precedence_ord.thy
changeset 106 5454387e42ce
parent 63 b620a2a0806a
child 197 ca4ddf26a7c7
equal deleted inserted replaced
105:0c89419b4742 106:5454387e42ce