Nominal/NewParser.thy
2010-04-27 Christian Urban some tuning
2010-04-27 Cezary Kaliszyk Rewrote FV code and included the function package.
2010-04-25 Christian Urban added definition of raw-permutations to the new-parser
2010-04-25 Christian Urban tuned
2010-04-24 Christian Urban slight tuning
2010-04-24 Christian Urban added a comment about a function where I am not sure who wrote it.
2010-04-24 Christian Urban merged
less more (0) tip