Nominal/Ex/AuxNoFCB.thy
2012-03-27 Cezary Kaliszyk Define 'aux'
less more (0) tip