| Wed, 16 Mar 2011 21:14:43 +0100 |
Christian Urban |
precise path to LaTeXsugar
|
file |
diff |
annotate
|
| 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
|
| Fri, 29 Oct 2010 14:25:50 +0900 |
Cezary Kaliszyk |
Qpaper / Move examples to commented out appendix
|
file |
diff |
annotate
|
| Thu, 28 Oct 2010 15:16:43 +0900 |
Cezary Kaliszyk |
Unanonymize qpaper
|
file |
diff |
annotate
|
| Thu, 28 Oct 2010 14:12:30 +0900 |
Cezary Kaliszyk |
FSet changes for Qpaper
|
file |
diff |
annotate
|
| Tue, 19 Oct 2010 15:08:24 +0100 |
Christian Urban |
took out comment about map-types / adapted to recent changes
|
file |
diff |
annotate
|
| Fri, 15 Oct 2010 15:52:40 +0900 |
Cezary Kaliszyk |
Synchronizing FSet further.
|
file |
diff |
annotate
|
| Fri, 15 Oct 2010 15:24:19 +0900 |
Cezary Kaliszyk |
Partially merging changes from Isabelle
|
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 15:59:16 +0900 |
Cezary Kaliszyk |
update qpaper to new isabelle
|
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
|