Quotient-Isabelle.pdf
changeset 1306 e965524c3301
parent 763 e343a6e4e1cd