nominal2: File revisions

Mercurial Mercurial > hg > nominal2 / file revisions

LMCS-Paper/Paper.thy

2011-09-21	Cezary Kaliszyk	spelling	file \| diff \| annotate
2011-09-21	Christian Urban	added comments from Andrei	file \| diff \| annotate
2011-09-21	Christian Urban	more polishing	file \| diff \| annotate
2011-09-21	Christian Urban	added a footnote	file \| diff \| annotate
2011-09-21	Christian Urban	some minor polishing	file \| diff \| annotate
2011-09-21	Christian Urban	some minor polishing	file \| diff \| annotate
2011-09-21	Christian Urban	some polishing	file \| diff \| annotate
2011-09-21	Christian Urban	changes	file \| diff \| annotate
2011-09-21	Christian Urban	deleted PNil	file \| diff \| annotate
2011-09-21	Christian Urban	deleted PNil	file \| diff \| annotate
2011-09-20	Christian Urban	more polishing	file \| diff \| annotate
2011-09-20	Cezary Kaliszyk	minor	file \| diff \| annotate
2011-09-19	Christian Urban	polished	file \| diff \| annotate
2011-09-18	Christian Urban	included comments from Ramana	file \| diff \| annotate
2011-09-18	Christian Urban	polished	file \| diff \| annotate
2011-09-16	Christian Urban	all material	file \| diff \| annotate
2011-09-16	Christian Urban	almost finished	file \| diff \| annotate
2011-09-16	Christian Urban	more on paper	file \| diff \| annotate
2011-09-14	Christian Urban	more on the paper	file \| diff \| annotate
2011-09-14	Christian Urban	more on paper	file \| diff \| annotate
2011-09-14	Cezary Kaliszyk	minor	file \| diff \| annotate
2011-09-13	Christian Urban	more on paper	file \| diff \| annotate
2011-09-13	Christian Urban	more on paper	file \| diff \| annotate
2011-09-13	Christian Urban	more on paper	file \| diff \| annotate
2011-09-12	Christian Urban	more on the paper	file \| diff \| annotate
2011-09-11	Christian Urban	more	file \| diff \| annotate
2011-09-11	Christian Urban	more on paper	file \| diff \| annotate
2011-09-09	Christian Urban	more	file \| diff \| annotate

less more (0) -28 tip

nominal2

RSS Atom