Literature/equivclasses.pdf
author Christian Urban <urbanc@in.tum.de>
Sat, 31 Jul 2010 02:05:25 +0100
changeset 2390 920366e646b0
parent 2204 54eea17575e6
permissions -rw-r--r--
further simplification with alpha_prove

(binary:application/pdf)