| 2010-02-01 | Christian Urban | renamed Abst/abst to Abs/abs | file | diff | annotate |
| 2010-02-01 | Christian Urban | got rid of RAbst type - is now just pairs | file | diff | annotate |
| 2010-02-01 | Cezary Kaliszyk | Monotonicity of ~~gen, needed for using it in inductive definitions. | file | diff | annotate |
| 2010-01-30 | Christian Urban | introduced a generic alpha (but not sure whether it is helpful) | file | diff | annotate |
| 2010-01-28 | Christian Urban | the supp of a lambda can now be characterised, *provided* the notion of free variables coincides with support on lambda terms | file | diff | annotate |
| 2010-01-28 | Christian Urban | improved the proof slightly by defining alpha as a function and completely characterised the equality between two abstractions | file | diff | annotate |
| 2010-01-28 | Christian Urban | general abstraction operator and complete characterisation of its support and freshness | file | diff | annotate |
| 2010-01-28 | Christian Urban | attempt of a general abstraction operator | file | diff | annotate |