2010-04-29 | Christian Urban | added basic functions for constructing supp-terms | file | diff | annotate |
2010-04-27 | Christian Urban | some tuning | file | diff | annotate |
2010-04-27 | Christian Urban | moved mk_atom into the library; that meant that concrete atom classes need to be in Nominal2_Base | file | diff | annotate |
2010-04-20 | Christian Urban | optimised the code of define_raw_perm | file | diff | annotate |
2010-04-19 | Christian Urban | tuned; fleshed out some library functions about permutations; closed Datatype_Aux structure (increases readability) | file | diff | annotate |
2010-04-18 | Christian Urban | moved some general function into nominal_library.ML | file | diff | annotate |
2010-04-14 | Christian Urban | moved a couple of more functions to the library | file | diff | annotate |
2010-04-14 | Christian Urban | added a library for basic nominal functions; separated nominal_eqvt file | file | diff | annotate |