QuotTest.thy
changeset 316 13ea9a34c269
parent 305 d7b60303adb8
equal deleted inserted replaced
315:7af81ea081d6 316:13ea9a34c269