Quotient-Isabelle.pdf
author Cezary Kaliszyk <kaliszyk@in.tum.de>
Fri, 16 Apr 2010 11:09:32 +0200
changeset 1865 b71b838b0a75
parent 763 e343a6e4e1cd
permissions -rw-r--r--
Finished proof in Lambda.thy

(binary:application/pdf)