nominal2: File revisions

Mercurial Mercurial > hg > nominal2 / file revisions

Quotient-Paper/Paper.thy

2010-07-20	Christian Urban	merged	file \| diff \| annotate
2010-07-19	Christian Urban	minor	file \| diff \| annotate
2010-07-19	Christian Urban	quote for a new paper	file \| diff \| annotate
2010-07-19	Christian Urban	corrected lambda-preservation theorem	file \| diff \| annotate
2010-07-18	Christian Urban	minor things on the paper	file \| diff \| annotate
2010-07-18	Christian Urban	minor things	file \| diff \| annotate
2010-07-17	Christian Urban	some minor changes	file \| diff \| annotate
2010-07-17	Christian Urban	changes suggested by Peter Homeier	file \| diff \| annotate
2010-06-23	Christian Urban	added comment about partial equivalence relations	file \| diff \| annotate
2010-06-23	Christian Urban	even further polishing of the qpaper	file \| diff \| annotate
2010-06-23	Christian Urban	polished paper again (and took out some claims about Homeier's package)	file \| diff \| annotate
2010-06-21	Christian Urban	further post-submission tuning	file \| diff \| annotate
2010-06-21	Christian Urban	some post-submission polishing	file \| diff \| annotate
2010-06-20	Christian Urban	added a few points that need to be looked at the next version of the qpaper	file \| diff \| annotate
2010-06-20	Christian Urban	small addition to the acknowledgement	file \| diff \| annotate
2010-06-17	Cezary Kaliszyk	qpaper / address FIXMEs.	file \| diff \| annotate
2010-06-17	Cezary Kaliszyk	forgot to save	file \| diff \| annotate
2010-06-17	Cezary Kaliszyk	Fix regularization. Two "FIXME" left in introduction. Minor spellings.	file \| diff \| annotate
2010-06-16	Christian Urban	polished everything and submitted	file \| diff \| annotate
2010-06-16	Christian Urban	conclusion done	file \| diff \| annotate
2010-06-16	Cezary Kaliszyk	Answer questions in comments	file \| diff \| annotate
2010-06-16	Christian Urban	tuned	file \| diff \| annotate
2010-06-16	Christian Urban	finished section 4, but put some things I do not understand on comment	file \| diff \| annotate
2010-06-16	Christian Urban	4 almost finished	file \| diff \| annotate
2010-06-15	Christian Urban	cleaned up definitions	file \| diff \| annotate
2010-06-15	Cezary Kaliszyk	merge	file \| diff \| annotate
2010-06-15	Cezary Kaliszyk	qpaper/Rewrite section5	file \| diff \| annotate
2010-06-15	Christian Urban	merged	file \| diff \| annotate
2010-06-15	Christian Urban	tuned everytinh up to section 4	file \| diff \| annotate
2010-06-15	Cezary Kaliszyk	Definition of Respects.	file \| diff \| annotate

less more (0) -100 -50 -30 tip

nominal2

RSS Atom