Nominal/nominal_dt_alpha.ML
Thu, 16 Dec 2010 08:42:48 +0000 Christian Urban simple cases for strong inducts done; infrastructure for the difficult ones is there
Mon, 06 Dec 2010 16:35:42 +0000 Christian Urban automated alpha_perm_bn theorems
Mon, 06 Dec 2010 14:24:17 +0000 Christian Urban ordered raw_bn_info to agree with the order of the raw_bn_functions; started alpha_bn proof
Fri, 03 Dec 2010 13:51:07 +0000 Christian Urban updated to Isabelle 2nd December
less more (0) -30 -10 -4 tip