QuotTest.thy
changeset 536 44fa9df44e6f
parent 305 d7b60303adb8
equal deleted inserted replaced
535:a19a5179fbca 536:44fa9df44e6f