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
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