Nominal/Perm.thy
Wed, 26 May 2010 15:34:54 +0200 Christian Urban added FSet to the correct paper
Mon, 24 May 2010 20:50:15 +0100 Christian Urban tuned
Mon, 24 May 2010 20:02:37 +0100 Christian Urban alpha works now
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
less more (0) -10 -4 tip