Quot/QuotScript.thy
changeset 742 198ff5781844
parent 721 19032e71fb1c
child 807 a5495a323b49
equal deleted inserted replaced
741:8437359e811c 742:198ff5781844