| 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 |