Literature/equivclasses.pdf
author Christian Urban <urbanc@in.tum.de>
Sun, 14 Nov 2010 16:34:47 +0000
changeset 2568 8193bbaa07fe
parent 2204 54eea17575e6
permissions -rw-r--r--
merged Nominal-General directory into Nominal; renamed Abs.thy to Nominal2_Abs.thy

(binary:application/pdf)