Quot/Nominal/Test.thy
2010-01-27 Christian Urban very rough example file for how nominal2 specification can be parsed
less more (0) tip