Quot/Nominal/Abs.thy
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