Nominal/Ex/SingleLet.thy
Sun, 23 May 2010 02:15:24 +0100 Christian Urban started to work on alpha
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
Sun, 20 Jun 2010 02:37:58 +0100 Christian Urban fixed example
less more (0) -10 -6 tip