Nominal-General/nominal_library.ML
2010-06-09 Christian Urban transitivity proofs done
2010-06-07 Christian Urban work on transitivity proof
2010-05-31 Christian Urban all raw definitions are defined using function
2010-05-24 Christian Urban alpha works now
2010-05-20 Christian Urban moved some mk_union and mk_diff into the library
2010-05-20 Christian Urban new fv/fv_bn function (supp breaks now); exported raw perms and raw funs into separate ML-files
2010-04-29 Christian Urban added basic functions for constructing supp-terms
2010-04-27 Christian Urban some tuning
2010-04-27 Christian Urban moved mk_atom into the library; that meant that concrete atom classes need to be in Nominal2_Base
2010-04-20 Christian Urban optimised the code of define_raw_perm
2010-04-19 Christian Urban tuned; fleshed out some library functions about permutations; closed Datatype_Aux structure (increases readability)
2010-04-18 Christian Urban moved some general function into nominal_library.ML
2010-04-14 Christian Urban moved a couple of more functions to the library
2010-04-14 Christian Urban added a library for basic nominal functions; separated nominal_eqvt file
less more (0) tip