Quot/Examples/Terms.thy
2010-01-27 Christian Urban added another example with indirect recursion over lists
2010-01-26 Christian Urban added an LamEx example together with the new nominal infrastructure
2010-01-23 Cezary Kaliszyk The alpha equivalence relations for structures in 'Terms'
2010-01-17 Christian Urban added permutation functions for the raw calculi
2010-01-15 Christian Urban added free_variable function (do not know about the algorithm yet)
2010-01-14 Christian Urban added bound-variable functions to terms
2010-01-14 Christian Urban added 3 calculi with interesting binding structure
less more (0) tip