Quot/QuotScript.thy
changeset 802 27a643e00675
parent 721 19032e71fb1c
child 807 a5495a323b49
equal deleted inserted replaced
801:282fe9cc278e 802:27a643e00675