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
|