nominal2: File revisions

Quot/Nominal/Terms.thy

2010-02-22	Cezary Kaliszyk	Testing auto equivp code.	file \| diff \| annotate
2010-02-22	Cezary Kaliszyk	A tactic for final equivp	file \| diff \| annotate
2010-02-22	Cezary Kaliszyk	More equivp infrastructure.	file \| diff \| annotate
2010-02-22	Cezary Kaliszyk	tactify transp	file \| diff \| annotate
2010-02-22	Cezary Kaliszyk	export the reflp and symp tacs.	file \| diff \| annotate
2010-02-22	Cezary Kaliszyk	Generalize atom_trans and atom_sym.	file \| diff \| annotate
2010-02-22	Cezary Kaliszyk	Some progress about transp	file \| diff \| annotate
2010-02-22	Cezary Kaliszyk	alpha-symmetric addons.	file \| diff \| annotate
2010-02-22	Cezary Kaliszyk	alpha reflexivity	file \| diff \| annotate
2010-02-22	Cezary Kaliszyk	Renaming.	file \| diff \| annotate
2010-02-22	Cezary Kaliszyk	Added missing description.	file \| diff \| annotate
2010-02-21	Cezary Kaliszyk	Removed bindings 'in itself' where possible.	file \| diff \| annotate
2010-02-20	Cezary Kaliszyk	Some adaptation	file \| diff \| annotate
2010-02-19	Cezary Kaliszyk	proof cleaning and standardizing.	file \| diff \| annotate
2010-02-19	Cezary Kaliszyk	Automatic production and proving of pseudo-injectivity.	file \| diff \| annotate
2010-02-19	Cezary Kaliszyk	Experiments for the pseudo-injectivity tactic.	file \| diff \| annotate

nominal2