2010-11-10 |
Christian Urban |
expanded the paper by uncommenting the comments and adding the appendix
|
file |
diff |
annotate
|
2010-10-29 |
Christian Urban |
squeezed qpaper to 6 pages
|
file |
diff |
annotate
|
2010-10-28 |
Cezary Kaliszyk |
Unanonymize qpaper
|
file |
diff |
annotate
|
2010-10-14 |
Christian Urban |
fixed the typo in the abstract and the problem with append (the type of map_k
|
file |
diff |
annotate
|
2010-08-30 |
Cezary Kaliszyk |
Anonymize, change Quotient to Quot and fix indentation
|
file |
diff |
annotate
|
2010-08-27 |
Christian Urban |
cut out most of the lifting section and cleaned up everything
|
file |
diff |
annotate
|
2010-08-27 |
Christian Urban |
made all typographic changes
|
file |
diff |
annotate
|
2010-08-27 |
Christian Urban |
first pass on section 1
|
file |
diff |
annotate
|
2010-08-27 |
Christian Urban |
make copies of the "old" files
|
file |
diff |
annotate
| base
|
2010-06-23 |
Christian Urban |
polished paper again (and took out some claims about Homeier's package)
|
file |
diff |
annotate
|
2010-06-15 |
Christian Urban |
finished preliminary section
|
file |
diff |
annotate
|
2010-06-14 |
Christian Urban |
completed proof and started section about respectfulness and preservation
|
file |
diff |
annotate
|
2010-06-13 |
Christian Urban |
more on the qpaper
|
file |
diff |
annotate
|
2010-06-13 |
Christian Urban |
something about the quotient ype definitions
|
file |
diff |
annotate
|
2010-06-13 |
Christian Urban |
polishing of ABS/REP
|
file |
diff |
annotate
|
2010-06-12 |
Christian Urban |
some slight tuning of the intro
|
file |
diff |
annotate
|
2010-06-12 |
Christian Urban |
completed the intro (except minor things)
|
file |
diff |
annotate
|
2010-06-11 |
Christian Urban |
more intro
|
file |
diff |
annotate
|
2010-06-11 |
Christian Urban |
more to the introduction of the qpaper
|
file |
diff |
annotate
|
2010-06-10 |
Christian Urban |
more on the qpaper
|
file |
diff |
annotate
|
2010-06-07 |
Christian Urban |
more work on intro and abstract (done for today)
|
file |
diff |
annotate
|
2010-06-07 |
Christian Urban |
a bit more in the introduction and abstract
|
file |
diff |
annotate
|
2010-06-07 |
Christian Urban |
improved abstract, some tuning
|
file |
diff |
annotate
|
2010-06-01 |
Christian Urban |
added larry's quote
|
file |
diff |
annotate
|
2010-05-28 |
Christian Urban |
first version of the abstract
|
file |
diff |
annotate
|
2010-05-23 |
Christian Urban |
changed qpaper to lncs-style
|
file |
diff |
annotate
|
2010-05-03 |
Christian Urban |
some preliminary notes of the abstract (qpaper); still need to see the motivating example
|
file |
diff |
annotate
|
2010-04-29 |
Christian Urban |
added stub for quotient paper; call with isabelle make qpaper
|
file |
diff |
annotate
|