QuotTest.thy
changeset 464 a0ddf16f05f5
parent 305 d7b60303adb8
equal deleted inserted replaced
463:871fce48087f 464:a0ddf16f05f5