nominal2: File revisions

Quotient-Paper-jv/Paper.thy

2012-04-10	Christian Urban	slight polishing on Quotient paper	file \| diff \| annotate
2012-04-03	Christian Urban	a bit more on the qpaper	file \| diff \| annotate
2012-03-26	Cezary Kaliszyk	qpaper-jv add a section about descending etc	file \| diff \| annotate
2012-03-21	Christian Urban	slight tuning of Q-paper-jv	file \| diff \| annotate
2012-02-22	Christian Urban	slight polish of the qpaper-jv	file \| diff \| annotate
2012-02-09	Cezary Kaliszyk	qpaper-jv: merge and add to TODOs in the paper and in front.	file \| diff \| annotate
2012-02-09	Cezary Kaliszyk	minor	file \| diff \| annotate
2012-02-03	Cezary Kaliszyk	Use the theorem by Brian, requires new Isabelle.	file \| diff \| annotate
2012-01-31	Christian Urban	2 typos found by John Wickerson in QPaper	file \| diff \| annotate
2011-12-22	Christian Urban	moved TODO into the paper	file \| diff \| annotate
2011-12-22	Christian Urban	some slight tuning	file \| diff \| annotate
2011-12-20	Cezary Kaliszyk	Added an initial version of qpaper-jv and a TODO of things to write about.	file \| diff \| annotate

nominal2