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
less more (0) -3 tip