Nominal/Ex/Test.thy
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
Wed, 19 May 2010 12:43:38 +0100 Christian Urban added comments about pottiers work
less more (0) -2 tip