Nominal/Fv.thy
Wed, 10 Mar 2010 10:47:21 +0100 Cezary Kaliszyk include alpha in the definitions.
Wed, 10 Mar 2010 10:11:20 +0100 Cezary Kaliszyk Filled the algorithm for alpha_bn_arg
Wed, 10 Mar 2010 09:58:43 +0100 Cezary Kaliszyk rhs of alpha_bn, and template for the arguments.
Wed, 10 Mar 2010 09:45:38 +0100 Cezary Kaliszyk alpha_bn_constr template
less more (0) -10 -4 tip