nominal2: File revisions

Nominal/Term5.thy

2010-03-11	Cezary Kaliszyk	looking at trm5_equivp	file \| diff \| annotate
2010-03-11	Cezary Kaliszyk	The alpha5_eqvt tactic works if I manage to build the goal.	file \| diff \| annotate
2010-03-10	Cezary Kaliszyk	More tries about the proofs in trm5	file \| diff \| annotate
2010-03-10	Cezary Kaliszyk	alpha_equivp for trm5	file \| diff \| annotate
2010-03-10	Cezary Kaliszyk	Looking at alpha_eqvt for term5, not much progress.	file \| diff \| annotate
2010-03-10	Cezary Kaliszyk	Testing equalities in trm5, all seems good.	file \| diff \| annotate
2010-03-01	Cezary Kaliszyk	The new alpha-equivalence and testing in Trm2 and Trm5.	file \| diff \| annotate
2010-03-01	Christian Urban	slight simplification of the raw-decl generation	file \| diff \| annotate
2010-03-01	Cezary Kaliszyk	Example that shows that current alpha is wrong.	file \| diff \| annotate
2010-02-26	Cezary Kaliszyk	Permutation and FV_Alpha interface change.	file \| diff \| annotate
2010-02-25	Cezary Kaliszyk	Split Terms into separate files and add them to tests.	file \| diff \| annotate

nominal2