diff -r e417be53916e -r 200954544cae Quotient-Isabelle.pdf
Binary file Quotient-Isabelle.pdf has changed