Literature/fpottier-alphacaml.pdf
author Christian Urban <urbanc@in.tum.de>
Sun, 05 Sep 2010 06:42:53 +0800
changeset 2473 a3711f07449b
parent 1812 2e849bc2163a
permissions -rw-r--r--
added the definition supp_rel (support w.r.t. a relation)

(binary:application/pdf)