Quot/QuotOption.thy
changeset 763 e343a6e4e1cd
parent 698 ed44eaaea63e
child 779 3b21b24a5fb6