# HG changeset patch
# User urbanc
# Date 1313081741 0
# Node ID ce24ed955cca0fb827110910ea9b49453b934a96
# Parent  f6a603be52d6dad560a90ceb3d30e0b13952ee2a
two interesting papers

diff -r f6a603be52d6 -r ce24ed955cca Literature/mirkin-partial-derivatives.pdf
Binary file Literature/mirkin-partial-derivatives.pdf has changed
diff -r f6a603be52d6 -r ce24ed955cca Literature/partial-derivatives-in-coq.pdf
Binary file Literature/partial-derivatives-in-coq.pdf has changed