Literature/partial-derivatives-in-coq.pdf
author urbanc
Fri, 02 Sep 2011 13:30:17 +0000
changeset 226 3be00ad980a1
parent 192 ce24ed955cca
permissions -rw-r--r--
small improvement

(binary:application/pdf)