Nominal/Ex/CoreHaskell2.thy
2010-12-22 Christian Urban properly exported strong exhaust theorem; cleaned up some examples
less more (0) tip