nominal2: File revisions

Nominal/FSet.thy

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
2010-04-22	Cezary Kaliszyk	Converted 'thm' to a lemma.	file \| diff \| annotate
2010-04-22	Cezary Kaliszyk	Moved working Fset3 properties to FSet.	file \| diff \| annotate
2010-04-21	Cezary Kaliszyk	append_rsp2 + isarification	file \| diff \| annotate
2010-04-21	Christian Urban	merged	file \| diff \| annotate
2010-04-21	Christian Urban	removed a sorry	file \| diff \| annotate
2010-04-21	Cezary Kaliszyk	Reorder FSet	file \| diff \| annotate
2010-04-21	Cezary Kaliszyk	lattice properties.	file \| diff \| annotate
2010-04-20	Cezary Kaliszyk	fsets are distributive lattices.	file \| diff \| annotate

nominal2