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