Nominal/Perm.thy
2010-04-20 Christian Urban tuning of the code
2010-04-20 Christian Urban reordered code
2010-04-20 Christian Urban renamed "_empty" and "_append" to "_zero" and "_plus"
2010-04-20 Christian Urban removed dead code (nominal cannot deal with argument types of constructors that are functions)
2010-04-20 Christian Urban added comment about abstraction in raw permuations
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-04 Christian Urban separated general nominal theory into separate folder
2010-03-27 Cezary Kaliszyk Automatically lift theorems and constants only using the new quotient types. Requires new Isabelle.
2010-03-18 Cezary Kaliszyk Update TODO.
2010-03-04 Cezary Kaliszyk Lift distinct.
2010-02-26 Cezary Kaliszyk Permutation and FV_Alpha interface change.
2010-02-25 Christian Urban merged
2010-02-25 Christian Urban moved Nominal to "toplevel"
less more (0) tip