Paper/document/root.bib
2011-01-04 Christian Urban final version of the ESOP paper; used set+ instead of res as requested by one reviewer
2010-10-06 Christian Urban down to 21 pages and changed strong induction section
2010-07-16 Christian Urban more paper
2010-07-02 Christian Urban finished fv-section
2010-07-01 Christian Urban spell check
2010-06-30 Christian Urban more work on the paper
2010-06-10 Christian Urban added to the popl-paper a pointer to work by Altenkirch
2010-04-02 Christian Urban more on the strong induction section
2010-04-01 Christian Urban last commit for now.
2010-04-01 Christian Urban more on the paper
2010-03-31 Cezary Kaliszyk More on paper
2010-03-31 Christian Urban started with a related work section
2010-03-30 Christian Urban cleaned up the section about fv's
2010-03-30 Christian Urban removed "raw" distinction
2010-03-28 Christian Urban more on the paper
2010-03-23 Christian Urban more tuning in the paper
2010-03-23 Christian Urban more on the paper
2010-03-23 Christian Urban tuned paper
2010-03-22 Christian Urban tuned paper
2010-03-19 Christian Urban picture
2010-03-19 Christian Urban more tuning on the paper
2010-03-18 Christian Urban more tuning on the paper
2010-03-18 Christian Urban tuned
2010-03-18 Christian Urban corrected the strong induction principle in the lambda-calculus case; gave a second (oartial) version that is more elegant
2010-03-18 Christian Urban slightly more in the paper
2010-03-17 Christian Urban slightly more of the paper
less more (0) tip