diff -r fb201e383f1b -r da575186d492 Literature/Quotient-Isabelle.pdf
Binary file Literature/Quotient-Isabelle.pdf has changed