Quot/Examples/Terms.thy
2010-01-14 Christian Urban added 3 calculi with interesting binding structure
less more (0) tip