Quot/QuotOption.thy
changeset 810 f73e2f5f17b2
parent 779 3b21b24a5fb6
child 829 42b90994ac77