nominal2: File revisions

Nominal/Ex/Lambda.thy

2010-05-21	Cezary Kaliszyk	Match_Lam defined on Quotient Level.	file \| diff \| annotate
2010-05-21	Cezary Kaliszyk	More on Function-defined subst.	file \| diff \| annotate
2010-05-21	Cezary Kaliszyk	merge	file \| diff \| annotate
2010-05-21	Cezary Kaliszyk	Renamings.	file \| diff \| annotate
2010-05-21	Cezary Kaliszyk	merge (non-trival)	file \| diff \| annotate
2010-05-21	Cezary Kaliszyk	Previously uncommited direct subst definition changes.	file \| diff \| annotate
2010-05-21	Cezary Kaliszyk	Function experiments	file \| diff \| annotate
2010-05-19	Cezary Kaliszyk	more subst experiments	file \| diff \| annotate
2010-05-19	Cezary Kaliszyk	More subst experminets	file \| diff \| annotate
2010-05-18	Cezary Kaliszyk	more on subst	file \| diff \| annotate
2010-05-18	Cezary Kaliszyk	Single variable substitution	file \| diff \| annotate
2010-05-18	Cezary Kaliszyk	subst fix	file \| diff \| annotate
2010-05-18	Cezary Kaliszyk	subst experiments	file \| diff \| annotate
2010-05-12	Christian Urban	fixed the examples for the new eqvt-procedure....temporarily disabled Manual/Term4.thy	file \| diff \| annotate
2010-05-11	Cezary Kaliszyk	Include raw permutation definitions in eqvt	file \| diff \| annotate

nominal2