Nominal/Ex/Beta.thy
2014-05-19 Christian Urban changed nominal_primrec to nominal_function and termination to nominal_termination
2014-05-19 Christian Urban changed nominal_primrec into the more appropriate nominal_function
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
less more (0) tip