QuotTest.thy
changeset 217 9cc87d02190a
parent 185 929bc55efff7
child 230 84a356e3d38b
equal deleted inserted replaced
216:8934d2153469 217:9cc87d02190a