Nominal/Ex/Classical_Test.thy
2011-06-26 Cezary Kaliszyk New-style fcb for multiple binders.
less more (0) tip