Nominal/Ex/LetPat.thy
Thu, 06 Jan 2011 20:25:40 +0000 Christian Urban removed last traces of debugging code
Sun, 29 Aug 2010 13:36:03 +0800 Christian Urban renamed NewParser to Nominal2
Thu, 26 Aug 2010 02:08:00 +0800 Christian Urban cleaned up (almost completely) the examples
less more (0) tip