Nominal/NewParser.thy
Tue, 27 Apr 2010 19:01:22 +0200 Cezary Kaliszyk Rewrote FV code and included the function package.
Sun, 25 Apr 2010 08:06:43 +0200 Christian Urban added definition of raw-permutations to the new-parser
Sun, 25 Apr 2010 07:54:28 +0200 Christian Urban tuned
Sun, 25 Apr 2010 01:31:22 +0200 Christian Urban slight tuning
Sat, 24 Apr 2010 10:00:33 +0200 Christian Urban added a comment about a function where I am not sure who wrote it.
Sat, 24 Apr 2010 09:49:23 +0200 Christian Urban merged
less more (0) tip