nominal2: File revisions

Nominal/FSet.thy

2010-06-15	Cezary Kaliszyk	Qpaper / Clarify the typing system and composition of quotients issue.	file \| diff \| annotate
2010-06-14	Cezary Kaliszyk	merge	file \| diff \| annotate
2010-06-14	Cezary Kaliszyk	qpaper/unfold the ball_reg_right statement	file \| diff \| annotate
2010-06-14	Christian Urban	some tuning and start work on section 4	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	something about the quotient ype definitions	file \| diff \| annotate
2010-06-11	Christian Urban	more on the qpaper	file \| diff \| annotate
2010-05-27	Cezary Kaliszyk	qpaper / a bit about prs	file \| diff \| annotate
2010-05-26	Cezary Kaliszyk	qpaper	file \| diff \| annotate
2010-05-26	Cezary Kaliszyk	Name some respectfullness	file \| diff \| annotate
2010-05-10	Cezary Kaliszyk	Synchronize FSet with repository	file \| diff \| annotate
2010-04-26	Cezary Kaliszyk	merge ???	file \| diff \| annotate
2010-04-21	Cezary Kaliszyk	infix for In	file \| diff \| annotate
2010-04-23	Cezary Kaliszyk	Further cleaning of proofs in FSet	file \| diff \| annotate

nominal2