2010-07-23 |
Christian Urban |
samll changes
|
file |
diff |
annotate
|
2010-07-16 |
Christian Urban |
submitted version
|
file |
diff |
annotate
|
2010-07-16 |
Christian Urban |
more paper
|
file |
diff |
annotate
|
2010-07-16 |
Christian Urban |
more on the paper
|
file |
diff |
annotate
|
2010-07-16 |
Christian Urban |
more on the paper
|
file |
diff |
annotate
|
2010-07-15 |
Christian Urban |
a bit more to the paper
|
file |
diff |
annotate
|
2010-07-14 |
Christian Urban |
more on the paper
|
file |
diff |
annotate
|
2010-07-09 |
Christian Urban |
fixed
|
file |
diff |
annotate
|
2010-07-09 |
Christian Urban |
before examples
|
file |
diff |
annotate
|
2010-07-09 |
Christian Urban |
finished alpha-section
|
file |
diff |
annotate
|
2010-07-07 |
Christian Urban |
more on the paper
|
file |
diff |
annotate
|
2010-07-07 |
Christian Urban |
more on the paper
|
file |
diff |
annotate
|
2010-07-02 |
Christian Urban |
more on the paper
|
file |
diff |
annotate
|
2010-07-02 |
Christian Urban |
finished fv-section
|
file |
diff |
annotate
|
2010-07-01 |
Christian Urban |
more on the paper
|
file |
diff |
annotate
|
2010-07-01 |
Christian Urban |
spell check
|
file |
diff |
annotate
|
2010-06-30 |
Christian Urban |
more work on the paper
|
file |
diff |
annotate
|
2010-06-23 |
Christian Urban |
some slight polishing on the paper
|
file |
diff |
annotate
|
2010-06-23 |
Christian Urban |
merged cezary's changes
|
file |
diff |
annotate
|
2010-06-10 |
Christian Urban |
added to the popl-paper a pointer to work by Altenkirch
|
file |
diff |
annotate
|
2010-06-01 |
Christian Urban |
tuned
|
file |
diff |
annotate
|
2010-05-26 |
Christian Urban |
added FSet to the correct paper
|
file |
diff |
annotate
|
2010-05-26 |
Christian Urban |
added FSet
|
file |
diff |
annotate
|
2010-05-25 |
Christian Urban |
edits from the reviewers
|
file |
diff |
annotate
|
2010-05-24 |
Christian Urban |
tuned paper
|
file |
diff |
annotate
|
2010-05-19 |
Christian Urban |
added comments about pottiers work
|
file |
diff |
annotate
|
2010-05-18 |
Christian Urban |
soem minor tuning
|
file |
diff |
annotate
|
2010-05-16 |
Christian Urban |
tuned paper
|
file |
diff |
annotate
|
2010-05-15 |
Christian Urban |
tuned paper
|
file |
diff |
annotate
|
2010-05-14 |
Christian Urban |
tuned a bit the paper
|
file |
diff |
annotate
|
2010-05-14 |
Christian Urban |
tuned a bit the paper
|
file |
diff |
annotate
|
2010-05-13 |
Christian Urban |
tuned the paper
|
file |
diff |
annotate
|
2010-04-27 |
Christian Urban |
merged
|
file |
diff |
annotate
|
2010-04-27 |
Christian Urban |
one more pass over the paper
|
file |
diff |
annotate
|
2010-04-27 |
Christian Urban |
more polishing on the paper
|
file |
diff |
annotate
|
2010-04-26 |
Christian Urban |
some changes to the paper
|
file |
diff |
annotate
|
2010-04-21 |
Christian Urban |
some small changes
|
file |
diff |
annotate
|
2010-04-19 |
Christian Urban |
small updates to the paper; remaining points in PAPER-TODO
|
file |
diff |
annotate
|
2010-04-15 |
Christian Urban |
typo
|
file |
diff |
annotate
|
2010-04-15 |
Cezary Kaliszyk |
Minor paper fixes.
|
file |
diff |
annotate
|
2010-04-09 |
Christian Urban |
renamed ExLam to Lambda and completed the proof of the strong ind principle; tuned paper
|
file |
diff |
annotate
|
2010-04-08 |
Christian Urban |
clarified comment about distinct lists in th efuture work section
|
file |
diff |
annotate
|
2010-04-06 |
Christian Urban |
typos in paper
|
file |
diff |
annotate
|
2010-04-02 |
Christian Urban |
submitted version (just in time ;o)
|
file |
diff |
annotate
|
2010-04-02 |
Christian Urban |
first complete version (slightly less than 3h more to go)
|
file |
diff |
annotate
|
2010-04-02 |
Christian Urban |
tuned
|
file |
diff |
annotate
|
2010-04-02 |
Christian Urban |
tuned strong ind section
|
file |
diff |
annotate
|
2010-04-02 |
Christian Urban |
polished infrastruct section
|
file |
diff |
annotate
|
2010-04-02 |
Christian Urban |
completed lifting section
|
file |
diff |
annotate
|
2010-04-02 |
Christian Urban |
more on the lifting section
|
file |
diff |
annotate
|
2010-04-02 |
Christian Urban |
more on the strong induction section
|
file |
diff |
annotate
|
2010-04-01 |
Christian Urban |
completed conclusion
|
file |
diff |
annotate
|
2010-04-01 |
Christian Urban |
merged
|
file |
diff |
annotate
|
2010-04-01 |
Christian Urban |
updated related work section
|
file |
diff |
annotate
|
2010-04-01 |
Cezary Kaliszyk |
Update fv_bn definition for bindings allowed in types for which bn is present.
|
file |
diff |
annotate
|
2010-04-01 |
Cezary Kaliszyk |
Minor formula fixes.
|
file |
diff |
annotate
|
2010-04-01 |
Christian Urban |
fixed alpha_bn
|
file |
diff |
annotate
|
2010-04-01 |
Christian Urban |
current state
|
file |
diff |
annotate
|
2010-04-01 |
Christian Urban |
merged
|
file |
diff |
annotate
|
2010-04-01 |
Christian Urban |
added alpha_bn definition
|
file |
diff |
annotate
|