Nominal/Test.thy
Tue, 02 Mar 2010 08:48:35 +0100 Cezary Kaliszyk Add a check of fv_functions.
Tue, 02 Mar 2010 08:43:53 +0100 Christian Urban some tuning
Tue, 02 Mar 2010 08:42:10 +0100 Cezary Kaliszyk Link calls to Raw permutations, FV definition and alpha_definition into the parser.
less more (0) -10 -3 tip