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
|
2010-04-01 |
Cezary Kaliszyk |
hfill for right aligning single table cells.
|
file |
diff |
annotate
|
2010-04-01 |
Cezary Kaliszyk |
Cleaning the strong induction example.
|
file |
diff |
annotate
|
2010-04-01 |
Cezary Kaliszyk |
minor
|
file |
diff |
annotate
|
2010-04-01 |
Cezary Kaliszyk |
Fighting with space in displaying strong induction...
|
file |
diff |
annotate
|
2010-04-01 |
Cezary Kaliszyk |
starting strong induction
|
file |
diff |
annotate
|
2010-04-01 |
Cezary Kaliszyk |
General paper minor fixes.
|
file |
diff |
annotate
|
2010-04-01 |
Cezary Kaliszyk |
Fill the space below the figure.
|
file |
diff |
annotate
|
2010-04-01 |
Christian Urban |
last commit for now.
|
file |
diff |
annotate
|
2010-04-01 |
Christian Urban |
more on the conclusion
|
file |
diff |
annotate
|
2010-04-01 |
Christian Urban |
completed related work section
|
file |
diff |
annotate
|
2010-04-01 |
Christian Urban |
more on the paper
|
file |
diff |
annotate
|
2010-03-31 |
Christian Urban |
polished everything up to TODO
|
file |
diff |
annotate
|
2010-03-31 |
Christian Urban |
merged
|
file |
diff |
annotate
|
2010-03-31 |
Christian Urban |
added alpha-definition for ~~ty
|
file |
diff |
annotate
|
2010-03-31 |
Cezary Kaliszyk |
permute_bn
|
file |
diff |
annotate
|
2010-03-31 |
Christian Urban |
abbreviations for \<otimes> and \<oplus>
|
file |
diff |
annotate
|
2010-03-31 |
Christian Urban |
merged
|
file |
diff |
annotate
|
2010-03-31 |
Christian Urban |
polished and removed tys from bn-functions.
|
file |
diff |
annotate
|
2010-03-31 |
Cezary Kaliszyk |
merge
|
file |
diff |
annotate
|
2010-03-31 |
Cezary Kaliszyk |
More on paper
|
file |
diff |
annotate
|
2010-03-31 |
Christian Urban |
started to polish alpha-equivalence section, but needs more work
|
file |
diff |
annotate
|
2010-03-31 |
Christian Urban |
started with a related work section
|
file |
diff |
annotate
|
2010-03-30 |
Christian Urban |
polished and added an example for fvars
|
file |
diff |
annotate
|
2010-03-30 |
Christian Urban |
cleaned up the section about fv's
|
file |
diff |
annotate
|
2010-03-30 |
Christian Urban |
tuned beginning of section 4
|
file |
diff |
annotate
|
2010-03-30 |
Cezary Kaliszyk |
More on section 5.
|
file |
diff |
annotate
|
2010-03-30 |
Cezary Kaliszyk |
More on section 5.
|
file |
diff |
annotate
|
2010-03-30 |
Christian Urban |
merged
|
file |
diff |
annotate
|
2010-03-30 |
Christian Urban |
removed "raw" distinction
|
file |
diff |
annotate
|
2010-03-30 |
Cezary Kaliszyk |
More on Section 5
|
file |
diff |
annotate
|
2010-03-30 |
Cezary Kaliszyk |
Beginning of section 5.
|
file |
diff |
annotate
|
2010-03-30 |
Christian Urban |
merged
|
file |
diff |
annotate
|
2010-03-30 |
Cezary Kaliszyk |
Avoid mentioning other nominal datatypes as it makes things too complicated.
|
file |
diff |
annotate
|
2010-03-30 |
Christian Urban |
merged
|
file |
diff |
annotate
|
2010-03-30 |
Cezary Kaliszyk |
close the missing parenthesis on both sides.
|
file |
diff |
annotate
|
2010-03-30 |
Christian Urban |
merged
|
file |
diff |
annotate
|
2010-03-30 |
Christian Urban |
changes to section 2
|
file |
diff |
annotate
|
2010-03-30 |
Cezary Kaliszyk |
Clean alpha
|
file |
diff |
annotate
|
2010-03-30 |
Cezary Kaliszyk |
clean fv_bn
|
file |
diff |
annotate
|
2010-03-30 |
Cezary Kaliszyk |
alpha_bn
|
file |
diff |
annotate
|
2010-03-30 |
Cezary Kaliszyk |
Change @{text} to @{term}
|
file |
diff |
annotate
|
2010-03-30 |
Cezary Kaliszyk |
alpha
|
file |
diff |
annotate
|
2010-03-30 |
Cezary Kaliszyk |
more
|
file |
diff |
annotate
|
2010-03-30 |
Cezary Kaliszyk |
fv and fv_bn
|
file |
diff |
annotate
|
2010-03-30 |
Christian Urban |
more of the paper
|
file |
diff |
annotate
|
2010-03-29 |
Christian Urban |
merged
|
file |
diff |
annotate
|
2010-03-29 |
Christian Urban |
small changes in the core-haskell spec
|
file |
diff |
annotate
|
2010-03-29 |
Christian Urban |
clarified core-haskell example
|
file |
diff |
annotate
|
2010-03-29 |
Christian Urban |
spell check
|
file |
diff |
annotate
|
2010-03-29 |
Christian Urban |
more on the paper
|
file |
diff |
annotate
|
2010-03-28 |
Christian Urban |
more on the paper
|
file |
diff |
annotate
|
2010-03-27 |
Christian Urban |
more on the paper
|
file |
diff |
annotate
|
2010-03-26 |
Christian Urban |
more on the paper
|
file |
diff |
annotate
|
2010-03-26 |
Christian Urban |
merged
|
file |
diff |
annotate
|
2010-03-25 |
Christian Urban |
more on the paper
|
file |
diff |
annotate
|
2010-03-24 |
Christian Urban |
more on the paper
|
file |
diff |
annotate
|
2010-03-24 |
Christian Urban |
some tuning; possible fix for strange paper generation
|
file |
diff |
annotate
|
2010-03-24 |
Christian Urban |
more on the paper
|
file |
diff |
annotate
|
2010-03-24 |
Christian Urban |
tuned paper
|
file |
diff |
annotate
|
2010-03-23 |
Christian Urban |
more of the paper
|
file |
diff |
annotate
|