Literature/Quotient-Isabelle.pdf
branchNominal2-Isabelle2011-1
changeset 3070 4b4742aa43f2
parent 3069 78d828f43cdf
child 3071 11f6a561eb4b
Binary file Literature/Quotient-Isabelle.pdf has changed