Nominal/Ex/SingleLet.thy
2010-06-24 Christian Urban added definition of the quotient types
2010-06-23 Christian Urban merged cezary's changes
2010-06-23 Cezary Kaliszyk Un-do the second change to SingleLet.
less more (0) -30 -10 -3 tip