Quotient-Paper/Paper.thy
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
Sat, 05 Jun 2010 08:02:39 +0200 Cezary Kaliszyk Qpaper/regularization proof.
Sat, 05 Jun 2010 07:26:22 +0200 Cezary Kaliszyk qpaper
Wed, 02 Jun 2010 14:24:16 +0200 Cezary Kaliszyk Qpaper/more.
Wed, 02 Jun 2010 13:58:37 +0200 Cezary Kaliszyk Qpaper/Minor
Tue, 01 Jun 2010 15:58:59 +0200 Christian Urban added larry's quote
Thu, 27 May 2010 16:53:12 +0200 Cezary Kaliszyk qpaper / lemmas used in proofs
Thu, 27 May 2010 16:33:10 +0200 Cezary Kaliszyk qpaper / injection statement
less more (0) -12 tip