Nominal-General/nominal_library.ML
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
Thu, 29 Apr 2010 10:16:15 +0200 Christian Urban added basic functions for constructing supp-terms
Tue, 27 Apr 2010 22:45:50 +0200 Christian Urban some tuning
less more (0) -3 tip