Nominal/Perm.thy
2010-05-24 Christian Urban alpha works now
2010-05-20 Christian Urban new fv/fv_bn function (supp breaks now); exported raw perms and raw funs into separate ML-files
2010-05-19 Christian Urban added comments about pottiers work
2010-05-17 Christian Urban slight tuning
2010-05-17 Christian Urban somewhat simplified the main parsing function; failed to move a Note-statement to define_raw_perms
2010-05-12 Christian Urban properly exported defined bn-functions
2010-05-04 Christian Urban fixed my error with define_raw_fv
2010-05-04 Christian Urban tuned
2010-05-04 Christian Urban roll back of the last commit (there was a difference)
2010-05-04 Christian Urban tuned
2010-05-04 Christian Urban to my best knowledge the number of datatypes is equal to the length of the dt_descr; so we can save one argument in define_raw_perm
2010-04-28 Christian Urban simpliied and moved the remaining lemmas about the atom-function to Nominal2_Base
2010-04-28 Christian Urban factured out common functionality of prefixing the dt-names with a string
2010-04-20 Christian Urban tuning of the code
less more (0) -14 tip