Paper/Paper.thy
2010-07-23 Christian Urban samll changes
2010-07-16 Christian Urban submitted version
2010-07-16 Christian Urban more paper
2010-07-16 Christian Urban more on the paper
2010-07-16 Christian Urban more on the paper
2010-07-15 Christian Urban a bit more to the paper
2010-07-14 Christian Urban more on the paper
2010-07-09 Christian Urban fixed
2010-07-09 Christian Urban before examples
2010-07-09 Christian Urban finished alpha-section
2010-07-07 Christian Urban more on the paper
2010-07-07 Christian Urban more on the paper
2010-07-02 Christian Urban more on the paper
2010-07-02 Christian Urban finished fv-section
2010-07-01 Christian Urban more on the paper
2010-07-01 Christian Urban spell check
2010-06-30 Christian Urban more work on the paper
2010-06-23 Christian Urban some slight polishing on the paper
2010-06-23 Christian Urban merged cezary's changes
2010-06-10 Christian Urban added to the popl-paper a pointer to work by Altenkirch
2010-06-01 Christian Urban tuned
2010-05-26 Christian Urban added FSet to the correct paper
2010-05-26 Christian Urban added FSet
2010-05-25 Christian Urban edits from the reviewers
2010-05-24 Christian Urban tuned paper
2010-05-19 Christian Urban added comments about pottiers work
2010-05-18 Christian Urban soem minor tuning
2010-05-16 Christian Urban tuned paper
2010-05-15 Christian Urban tuned paper
2010-05-14 Christian Urban tuned a bit the paper
2010-05-14 Christian Urban tuned a bit the paper
2010-05-13 Christian Urban tuned the paper
2010-04-27 Christian Urban merged
2010-04-27 Christian Urban one more pass over the paper
2010-04-27 Christian Urban more polishing on the paper
2010-04-26 Christian Urban some changes to the paper
2010-04-21 Christian Urban some small changes
2010-04-19 Christian Urban small updates to the paper; remaining points in PAPER-TODO
2010-04-15 Christian Urban typo
2010-04-15 Cezary Kaliszyk Minor paper fixes.
2010-04-09 Christian Urban renamed ExLam to Lambda and completed the proof of the strong ind principle; tuned paper
2010-04-08 Christian Urban clarified comment about distinct lists in th efuture work section
2010-04-06 Christian Urban typos in paper
2010-04-02 Christian Urban submitted version (just in time ;o)
2010-04-02 Christian Urban first complete version (slightly less than 3h more to go)
2010-04-02 Christian Urban tuned
2010-04-02 Christian Urban tuned strong ind section
2010-04-02 Christian Urban polished infrastruct section
2010-04-02 Christian Urban completed lifting section
2010-04-02 Christian Urban more on the lifting section
2010-04-02 Christian Urban more on the strong induction section
2010-04-01 Christian Urban completed conclusion
2010-04-01 Christian Urban merged
2010-04-01 Christian Urban updated related work section
2010-04-01 Cezary Kaliszyk Update fv_bn definition for bindings allowed in types for which bn is present.
2010-04-01 Cezary Kaliszyk Minor formula fixes.
2010-04-01 Christian Urban fixed alpha_bn
2010-04-01 Christian Urban current state
2010-04-01 Christian Urban merged
2010-04-01 Christian Urban added alpha_bn definition
2010-04-01 Cezary Kaliszyk hfill for right aligning single table cells.
2010-04-01 Cezary Kaliszyk Cleaning the strong induction example.
2010-04-01 Cezary Kaliszyk minor
2010-04-01 Cezary Kaliszyk Fighting with space in displaying strong induction...
2010-04-01 Cezary Kaliszyk starting strong induction
2010-04-01 Cezary Kaliszyk General paper minor fixes.
2010-04-01 Cezary Kaliszyk Fill the space below the figure.
2010-04-01 Christian Urban last commit for now.
2010-04-01 Christian Urban more on the conclusion
2010-04-01 Christian Urban completed related work section
2010-04-01 Christian Urban more on the paper
2010-03-31 Christian Urban polished everything up to TODO
2010-03-31 Christian Urban merged
2010-03-31 Christian Urban added alpha-definition for ~~ty
2010-03-31 Cezary Kaliszyk permute_bn
2010-03-31 Christian Urban abbreviations for \<otimes> and \<oplus>
2010-03-31 Christian Urban merged
2010-03-31 Christian Urban polished and removed tys from bn-functions.
2010-03-31 Cezary Kaliszyk merge
2010-03-31 Cezary Kaliszyk More on paper
2010-03-31 Christian Urban started to polish alpha-equivalence section, but needs more work
2010-03-31 Christian Urban started with a related work section
2010-03-30 Christian Urban polished and added an example for fvars
2010-03-30 Christian Urban cleaned up the section about fv's
2010-03-30 Christian Urban tuned beginning of section 4
2010-03-30 Cezary Kaliszyk More on section 5.
2010-03-30 Cezary Kaliszyk More on section 5.
2010-03-30 Christian Urban merged
2010-03-30 Christian Urban removed "raw" distinction
2010-03-30 Cezary Kaliszyk More on Section 5
2010-03-30 Cezary Kaliszyk Beginning of section 5.
2010-03-30 Christian Urban merged
2010-03-30 Cezary Kaliszyk Avoid mentioning other nominal datatypes as it makes things too complicated.
2010-03-30 Christian Urban merged
2010-03-30 Cezary Kaliszyk close the missing parenthesis on both sides.
2010-03-30 Christian Urban merged
2010-03-30 Christian Urban changes to section 2
2010-03-30 Cezary Kaliszyk Clean alpha
2010-03-30 Cezary Kaliszyk clean fv_bn
2010-03-30 Cezary Kaliszyk alpha_bn
2010-03-30 Cezary Kaliszyk Change @{text} to @{term}
2010-03-30 Cezary Kaliszyk alpha
2010-03-30 Cezary Kaliszyk more
2010-03-30 Cezary Kaliszyk fv and fv_bn
2010-03-30 Christian Urban more of the paper
2010-03-29 Christian Urban merged
2010-03-29 Christian Urban small changes in the core-haskell spec
2010-03-29 Christian Urban clarified core-haskell example
2010-03-29 Christian Urban spell check
2010-03-29 Christian Urban more on the paper
2010-03-28 Christian Urban more on the paper
2010-03-27 Christian Urban more on the paper
2010-03-26 Christian Urban more on the paper
2010-03-26 Christian Urban merged
2010-03-25 Christian Urban more on the paper
2010-03-24 Christian Urban more on the paper
2010-03-24 Christian Urban some tuning; possible fix for strange paper generation
2010-03-24 Christian Urban more on the paper
2010-03-24 Christian Urban tuned paper
2010-03-23 Christian Urban more of the paper
less more (0) -120 tip