diff -r baac4639ecef -r e343a6e4e1cd Quotient-Isabelle.pdf
Binary file Quotient-Isabelle.pdf has changed