Quotient-Paper/Paper.thy
Sat, 12 Jun 2010 11:32:36 +0200 Christian Urban some slight tuning of the intro
Sat, 12 Jun 2010 06:35:27 +0200 Cezary Kaliszyk Fix integer relation.
Sat, 12 Jun 2010 02:36:49 +0200 Christian Urban completed the intro (except minor things)
Fri, 11 Jun 2010 21:58:25 +0200 Christian Urban more intro
Fri, 11 Jun 2010 17:52:06 +0200 Christian Urban more on the qpaper
Fri, 11 Jun 2010 16:36:02 +0200 Christian Urban even more on the qpaper (intro almost done)
Fri, 11 Jun 2010 14:04:58 +0200 Christian Urban more to the introduction of the qpaper
Thu, 10 Jun 2010 10:53:51 +0200 Christian Urban more on the qpaper
Mon, 07 Jun 2010 15:57:03 +0200 Christian Urban more work on intro and abstract (done for today)
Mon, 07 Jun 2010 15:13:39 +0200 Christian Urban a bit more in the introduction and abstract
Mon, 07 Jun 2010 11:33:00 +0200 Christian Urban improved abstract, some tuning
Sun, 06 Jun 2010 13:16:27 +0200 Cezary Kaliszyk Qpaper / minor on cleaning
Sat, 05 Jun 2010 14:37:05 +0200 Cezary Kaliszyk qpaper / injection proof.
Sat, 05 Jun 2010 10:03:42 +0200 Cezary Kaliszyk qpaper / example interaction
less more (0) -14 tip