nominal2: File revisions

Mercurial Mercurial > hg > nominal2 / file revisions

Quotient-Paper/Paper.thy

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
2010-06-13	Christian Urban	improved definition of ABS and REP	file \| diff \| annotate
2010-06-13	Cezary Kaliszyk	qpaper.	file \| diff \| annotate
2010-06-13	Cezary Kaliszyk	some spelling	file \| diff \| annotate
2010-06-13	Cezary Kaliszyk	minor	file \| diff \| annotate
2010-06-13	Cezary Kaliszyk	qpaper / tuning in preservation and general display	file \| diff \| annotate
2010-06-13	Christian Urban	polishing of ABS/REP	file \| diff \| annotate
2010-06-12	Christian Urban	some slight tuning of the intro	file \| diff \| annotate
2010-06-12	Cezary Kaliszyk	Fix integer relation.	file \| diff \| annotate
2010-06-12	Christian Urban	completed the intro (except minor things)	file \| diff \| annotate
2010-06-11	Christian Urban	more intro	file \| diff \| annotate
2010-06-11	Christian Urban	more on the qpaper	file \| diff \| annotate
2010-06-11	Christian Urban	even more on the qpaper (intro almost done)	file \| diff \| annotate
2010-06-11	Christian Urban	more to the introduction of the qpaper	file \| diff \| annotate
2010-06-10	Christian Urban	more on the qpaper	file \| diff \| annotate
2010-06-07	Christian Urban	more work on intro and abstract (done for today)	file \| diff \| annotate
2010-06-07	Christian Urban	a bit more in the introduction and abstract	file \| diff \| annotate
2010-06-07	Christian Urban	improved abstract, some tuning	file \| diff \| annotate
2010-06-06	Cezary Kaliszyk	Qpaper / minor on cleaning	file \| diff \| annotate
2010-06-05	Cezary Kaliszyk	qpaper / injection proof.	file \| diff \| annotate
2010-06-05	Cezary Kaliszyk	qpaper / example interaction	file \| diff \| annotate
2010-06-05	Cezary Kaliszyk	Qpaper/regularization proof.	file \| diff \| annotate
2010-06-05	Cezary Kaliszyk	qpaper	file \| diff \| annotate
2010-06-02	Cezary Kaliszyk	Qpaper/more.	file \| diff \| annotate
2010-06-02	Cezary Kaliszyk	Qpaper/Minor	file \| diff \| annotate
2010-06-01	Christian Urban	added larry's quote	file \| diff \| annotate

less more (0) -50 -32 tip

nominal2

RSS Atom