QuotTest.thy
changeset 575 334b3e9ea3e0
parent 305 d7b60303adb8
equal deleted inserted replaced
574:06e54c862a39 575:334b3e9ea3e0