Nominal/Test.thy
2010-03-10 Cezary Kaliszyk Linked parser to fv and alpha.
less more (0) -30 -10 -1 tip