| Wed, 10 Nov 2010 13:40:46 +0000 |
Christian Urban |
expanded the paper by uncommenting the comments and adding the appendix
|
file |
diff |
annotate
|
| Fri, 29 Oct 2010 15:37:24 +0100 |
Christian Urban |
squeezed qpaper to 6 pages
|
file |
diff |
annotate
|
| Thu, 28 Oct 2010 15:16:43 +0900 |
Cezary Kaliszyk |
Unanonymize qpaper
|
file |
diff |
annotate
|
| Thu, 14 Oct 2010 17:32:06 +0100 |
Christian Urban |
fixed the typo in the abstract and the problem with append (the type of map_k
|
file |
diff |
annotate
|
| Mon, 30 Aug 2010 11:02:13 +0900 |
Cezary Kaliszyk |
Anonymize, change Quotient to Quot and fix indentation
|
file |
diff |
annotate
|
| Fri, 27 Aug 2010 23:26:00 +0800 |
Christian Urban |
cut out most of the lifting section and cleaned up everything
|
file |
diff |
annotate
|
| Fri, 27 Aug 2010 19:06:30 +0800 |
Christian Urban |
made all typographic changes
|
file |
diff |
annotate
|
| Fri, 27 Aug 2010 16:00:19 +0800 |
Christian Urban |
first pass on section 1
|
file |
diff |
annotate
|
| Fri, 27 Aug 2010 13:57:00 +0800 |
Christian Urban |
make copies of the "old" files
|
file |
diff |
annotate
| base
|
| Wed, 23 Jun 2010 22:41:16 +0100 |
Christian Urban |
polished paper again (and took out some claims about Homeier's package)
|
file |
diff |
annotate
|
| Tue, 15 Jun 2010 02:03:18 +0200 |
Christian Urban |
finished preliminary section
|
file |
diff |
annotate
|
| Mon, 14 Jun 2010 04:38:25 +0200 |
Christian Urban |
completed proof and started section about respectfulness and preservation
|
file |
diff |
annotate
|
| Sun, 13 Jun 2010 20:54:50 +0200 |
Christian Urban |
more on the qpaper
|
file |
diff |
annotate
|
| Sun, 13 Jun 2010 17:01:15 +0200 |
Christian Urban |
something about the quotient ype definitions
|
file |
diff |
annotate
|
| Sun, 13 Jun 2010 04:06:06 +0200 |
Christian Urban |
polishing of ABS/REP
|
file |
diff |
annotate
|