Nominal/Test.thy
Tue, 02 Mar 2010 08:49:04 +0100 Cezary Kaliszyk merge
Tue, 02 Mar 2010 08:48:35 +0100 Cezary Kaliszyk Add a check of fv_functions.
less more (0) -10 -2 tip