Literature/equivclasses.pdf
author Christian Urban <christian dot urban at kcl dot ac dot uk>
Fri, 30 Aug 2013 14:35:37 +0100 (2013-08-30)
changeset 3222 8c53bcd5c0ae
parent 2204 54eea17575e6
permissions -rw-r--r--
updated to lates Isabelle
(binary:application/pdf)