Nominal/Ex/Let_ExhaustIssue.thy
Mon, 19 May 2014 12:45:26 +0100 Christian Urban changed nominal_primrec into the more appropriate nominal_function
Tue, 05 Jul 2011 18:42:34 +0200 Christian Urban changed bind to binds in specifications; bind will cause trouble with Monad_Syntax
Fri, 01 Jul 2011 17:46:15 +0900 Cezary Kaliszyk Exhaust Issue
less more (0) tip