Nominal/NewParser.thy
Sat, 22 May 2010 13:51:47 +0100 Christian Urban properly exported bn_descr
Fri, 21 May 2010 11:40:18 +0100 Christian Urban hving a working fv-definition without the export
Fri, 21 May 2010 05:58:23 +0100 Christian Urban tuned
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
Fri, 21 May 2010 10:42:53 +0200 Cezary Kaliszyk Renamings
Mon, 17 May 2010 16:25:45 +0100 Christian Urban minor tuning
Mon, 17 May 2010 12:46:51 +0100 Christian Urban slight tuning
less more (0) -30 -10 -7 tip