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