Nominal/Ex/Classical.thy
2012-08-07 Christian Urban definition of an auxiliary graph in nominal-primrec definitions
2012-07-15 Christian Urban added a simproc for alpha-equivalence to the simplifier
less more (0) -30 -10 -2 tip