Nominal/ExLetRec.thy
Sat, 27 Mar 2010 16:20:39 +0100 Cezary Kaliszyk Lets finally abstract lists.
Sat, 27 Mar 2010 09:15:09 +0100 Cezary Kaliszyk Minor fix.
Tue, 23 Mar 2010 09:34:32 +0100 Cezary Kaliszyk More modification needed for compilation
Tue, 23 Mar 2010 09:21:43 +0100 Cezary Kaliszyk Moved let properties from Term5 to ExLetRec.
less more (0) tip