Nominal/NewParser.thy
2010-05-22 Christian Urban properly exported bn_descr
2010-05-21 Christian Urban hving a working fv-definition without the export
2010-05-21 Christian Urban tuned
less more (0) -30 -10 -3 tip