diff -r a6f3e1b08494 -r b6873d123f9b Literature/Quotient-Isabelle.pdf
Binary file Literature/Quotient-Isabelle.pdf has changed