Nominal/NewParser.thy
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