nominal2: File revisions

Quot/Nominal/Terms.thy

2010-02-03	Cezary Kaliszyk	Minor fix.	file \| diff \| annotate
2010-02-03	Cezary Kaliszyk	merge	file \| diff \| annotate
2010-02-03	Cezary Kaliszyk	alpha5 pseudo-injective	file \| diff \| annotate
2010-02-03	Christian Urban	fixed proofs in Abs.thy	file \| diff \| annotate
2010-02-03	Cezary Kaliszyk	The alpha-equivalence relation for let-rec. Not sure if correct...	file \| diff \| annotate
2010-02-03	Cezary Kaliszyk	Starting with a let-rec example.	file \| diff \| annotate
2010-02-03	Cezary Kaliszyk	Some cleaning and eqvt proof	file \| diff \| annotate
2010-02-03	Cezary Kaliszyk	The trm1_support lemma explicitly and stated a strong induction principle.	file \| diff \| annotate
2010-02-03	Cezary Kaliszyk	More ingredients in Terms.	file \| diff \| annotate
2010-02-02	Cezary Kaliszyk	Finished the supp_fv proof; first proof that analyses the structure of 'Let' :)	file \| diff \| annotate
2010-02-02	Cezary Kaliszyk	More in Terms	file \| diff \| annotate
2010-02-02	Cezary Kaliszyk	First experiments in Terms.	file \| diff \| annotate
2010-01-28	Christian Urban	minor	file \| diff \| annotate
2010-01-27	Christian Urban	completely ported	file \| diff \| annotate
2010-01-27	Christian Urban	mostly ported Terms.thy to new Nominal	file \| diff \| annotate

nominal2