Nominal/Perm.thy
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
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
less more (0) -10 -7 tip