Quot/Nominal/Abs.thy
2010-02-01 Christian Urban cleaned
2010-02-01 Christian Urban renamed Abst/abst to Abs/abs
2010-02-01 Christian Urban got rid of RAbst type - is now just pairs
2010-02-01 Cezary Kaliszyk Monotonicity of ~~gen, needed for using it in inductive definitions.
2010-01-30 Christian Urban introduced a generic alpha (but not sure whether it is helpful)
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
2010-01-28 Christian Urban improved the proof slightly by defining alpha as a function and completely characterised the equality between two abstractions
2010-01-28 Christian Urban general abstraction operator and complete characterisation of its support and freshness
2010-01-28 Christian Urban attempt of a general abstraction operator
less more (0) tip