Quotient-Paper/Paper.thy
Sun, 18 Jul 2010 19:07:05 +0100 Christian Urban minor things on the paper
Sun, 18 Jul 2010 17:02:33 +0100 Christian Urban minor things
Sat, 17 Jul 2010 15:44:24 +0100 Christian Urban some minor changes
Sat, 17 Jul 2010 12:01:04 +0100 Christian Urban changes suggested by Peter Homeier
Thu, 24 Jun 2010 00:41:41 +0100 Christian Urban added comment about partial equivalence relations
Thu, 24 Jun 2010 00:27:37 +0100 Christian Urban even further polishing of the qpaper
Wed, 23 Jun 2010 22:41:16 +0100 Christian Urban polished paper again (and took out some claims about Homeier's package)
Mon, 21 Jun 2010 15:41:59 +0100 Christian Urban further post-submission tuning
Mon, 21 Jun 2010 02:04:39 +0100 Christian Urban some post-submission polishing
Mon, 21 Jun 2010 00:45:27 +0100 Christian Urban added a few points that need to be looked at the next version of the qpaper
Sun, 20 Jun 2010 02:37:44 +0100 Christian Urban small addition to the acknowledgement
Thu, 17 Jun 2010 09:25:44 +0200 Cezary Kaliszyk qpaper / address FIXMEs.
Thu, 17 Jun 2010 07:37:26 +0200 Cezary Kaliszyk forgot to save
Thu, 17 Jun 2010 07:34:29 +0200 Cezary Kaliszyk Fix regularization. Two "FIXME" left in introduction. Minor spellings.
Thu, 17 Jun 2010 00:27:57 +0100 Christian Urban polished everything and submitted
Wed, 16 Jun 2010 22:29:42 +0100 Christian Urban conclusion done
Wed, 16 Jun 2010 14:26:23 +0200 Cezary Kaliszyk Answer questions in comments
Wed, 16 Jun 2010 03:47:38 +0100 Christian Urban tuned
Wed, 16 Jun 2010 03:44:10 +0100 Christian Urban finished section 4, but put some things I do not understand on comment
Wed, 16 Jun 2010 02:55:52 +0100 Christian Urban 4 almost finished
Tue, 15 Jun 2010 22:25:03 +0200 Christian Urban cleaned up definitions
Tue, 15 Jun 2010 12:00:03 +0200 Cezary Kaliszyk merge
Tue, 15 Jun 2010 11:59:16 +0200 Cezary Kaliszyk qpaper/Rewrite section5
Tue, 15 Jun 2010 09:44:16 +0200 Christian Urban merged
Tue, 15 Jun 2010 08:56:13 +0200 Christian Urban tuned everytinh up to section 4
Tue, 15 Jun 2010 10:08:12 +0200 Cezary Kaliszyk Definition of Respects.
Tue, 15 Jun 2010 09:22:38 +0200 Cezary Kaliszyk conclusion
Tue, 15 Jun 2010 09:12:54 +0200 Cezary Kaliszyk Qpaper / Clarify the typing system and composition of quotients issue.
Tue, 15 Jun 2010 07:58:33 +0200 Cezary Kaliszyk Remove only reference to 'equivp'.
Tue, 15 Jun 2010 07:54:30 +0200 Cezary Kaliszyk merge
less more (0) -100 -50 -30 tip