Literature/Quotient-Isabelle.pdf
author Christian Urban <urbanc@in.tum.de>
Tue, 07 Dec 2010 14:27:39 +0000 (2010-12-07)
changeset 2598 b136721eedb2
parent 2102 200954544cae
permissions -rw-r--r--
automated permute_bn theorems
(binary:application/pdf)