Nominal/Ex/SingleLet.thy
2010-08-08 Christian Urban proved rsp-helper lemmas of size functions
2010-07-31 Christian Urban introduced a general alpha_prove method
2010-07-29 Christian Urban equivariance for size
2010-07-29 Christian Urban helper lemmas for rsp-lemmas
2010-07-27 Christian Urban tests
2010-07-27 Christian Urban cleaned up a bit Abs.thy
2010-07-27 Christian Urban fixed order of fold_union to make alpha and fv agree
2010-07-25 Christian Urban added paper by james; some minor cleaning
2010-07-17 Christian Urban tests
2010-07-16 Christian Urban more on the paper
2010-07-14 Christian Urban more on the paper
2010-06-28 Christian Urban more quotient-definitions
2010-06-28 Christian Urban slight cleaning
2010-06-24 Christian Urban added definition of the quotient types
less more (0) -14 tip