Nominal/Ex/Beta.thy
2011-12-19 Cezary Kaliszyk Disproved the property described as 'Tzevelakos'.
2011-12-16 Cezary Kaliszyk Beta: equ and equ2 are not the same relations, equ2 seems not to be beta-eta equality.
2011-12-15 Christian Urban a bit more on alpha-beta-equated terms
2011-11-26 Christian Urban a few more experiments with alpha-beta
2011-11-10 Christian Urban proved supp for QVar; QApp still fails - probably stronger condistion is needed
2011-11-09 Christian Urban added initial test about alpha-beta-equated terms
less more (0) tip