Nominal/NewFv.thy
Mon, 07 Jun 2010 11:46:26 +0200 Christian Urban merged
Thu, 20 May 2010 21:23:53 +0100 Christian Urban new fv/fv_bn function (supp breaks now); exported raw perms and raw funs into separate ML-files
Mon, 07 Jun 2010 11:33:00 +0200 Christian Urban improved abstract, some tuning
less more (0) -10 -3 tip