Nominal-General/nominal_library.ML
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