Quotient-Isabelle.pdf
changeset 1798 d8bd4923b3aa
parent 763 e343a6e4e1cd