Quotient-Isabelle.pdf
changeset 1680 4abf7d631ef0
parent 763 e343a6e4e1cd
equal deleted inserted replaced
1679:5c4566797bcb 1680:4abf7d631ef0