nominal2: File revisions

Nominal/Test.thy

2010-03-18	Cezary Kaliszyk	Rename "_property" to ".property"	file \| diff \| annotate
2010-03-18	Cezary Kaliszyk	Added fv,bn,distinct,perm to the simplifier.	file \| diff \| annotate
2010-03-18	Cezary Kaliszyk	Which proofs need a 'sorry'.	file \| diff \| annotate
2010-03-18	Christian Urban	vixed variable names	file \| diff \| annotate
2010-03-18	Christian Urban	simplified strong induction proof by using flip	file \| diff \| annotate
2010-03-18	Cezary Kaliszyk	Rename bound variables + minor cleaning.	file \| diff \| annotate
2010-03-18	Cezary Kaliszyk	Prove pseudo-inject (eq-iff) on the exported level and rename appropriately.	file \| diff \| annotate
2010-03-17	Christian Urban	merged	file \| diff \| annotate
2010-03-17	Christian Urban	added partial proof for the strong induction principle	file \| diff \| annotate
2010-03-17	Cezary Kaliszyk	merge	file \| diff \| annotate
2010-03-17	Cezary Kaliszyk	cheat_alpha_eqvt no longer needed. Cleaned the tracing messages.	file \| diff \| annotate
2010-03-17	Christian Urban	added proof of supp/fv for type schemes	file \| diff \| annotate
2010-03-17	Christian Urban	added partial proof of supp for type schemes	file \| diff \| annotate
2010-03-17	Cezary Kaliszyk	Fix in alpha; support of the recursive Let works :)	file \| diff \| annotate

nominal2