# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1261258951 -3600
# Node ID e343a6e4e1cd7bb7189f9009577e5fa8cbbc06ca
# Parent  baac4639ecefbc9235ced2b0131e2ea5dade7c1b
added a very old paper about Quotients in Isabelle (related work)

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