QuotTest.thy
changeset 214 a66f81c264aa
parent 185 929bc55efff7
child 230 84a356e3d38b
equal deleted inserted replaced
213:7610d2bbca48 214:a66f81c264aa