nominal2: File revisions

Quotient-Paper/Paper.thy

2010-06-14	Christian Urban	merged	file \| diff \| annotate
2010-06-14	Christian Urban	some tuning and start work on section 4	file \| diff \| annotate
2010-06-14	Cezary Kaliszyk	qpaper	file \| diff \| annotate
2010-06-14	Cezary Kaliszyk	qpaper / INJ	file \| diff \| annotate
2010-06-14	Cezary Kaliszyk	qpaper / REG	file \| diff \| annotate
2010-06-14	Cezary Kaliszyk	qpaper / minor	file \| diff \| annotate
2010-06-14	Cezary Kaliszyk	qpaper/various	file \| diff \| annotate
2010-06-14	Cezary Kaliszyk	qpaper	file \| diff \| annotate
2010-06-14	Cezary Kaliszyk	qpaper/more on example	file \| diff \| annotate
2010-06-14	Cezary Kaliszyk	qpaper/examples	file \| diff \| annotate
2010-06-14	Christian Urban	completed proof and started section about respectfulness and preservation	file \| diff \| annotate
2010-06-13	Christian Urban	more on the qpaper	file \| diff \| annotate
2010-06-13	Christian Urban	tuned	file \| diff \| annotate
2010-06-13	Christian Urban	more on the constant lifting section	file \| diff \| annotate
2010-06-13	Christian Urban	something about the quotient ype definitions	file \| diff \| annotate
2010-06-13	Christian Urban	added some examples	file \| diff \| annotate

nominal2