Nominal/Ex/Typing.thy
Tue, 04 Jan 2011 13:47:38 +0000 Christian Urban final version of the ESOP paper; used set+ instead of res as requested by one reviewer
Mon, 03 Jan 2011 16:21:12 +0000 Christian Urban file with most of the strong rule induction development
less more (0) tip