Paper/document/root.tex
2010-04-27 Christian Urban merged
2010-04-02 Christian Urban more on the strong induction section
2010-04-01 Christian Urban current state
2010-04-01 Christian Urban added alpha_bn definition
2010-04-01 Christian Urban more on the paper
2010-03-31 Christian Urban polished everything up to TODO
2010-03-31 Christian Urban added alpha-definition for ~~ty
2010-03-30 Christian Urban more of the paper
2010-03-28 Christian Urban more on the paper
2010-03-26 Christian Urban merged
2010-03-23 Christian Urban more tuning in the paper
2010-03-23 Christian Urban tuned paper
2010-03-22 Christian Urban more on the paper
2010-03-22 Christian Urban more on the paper
2010-03-21 Christian Urban tuned paper
2010-03-19 Christian Urban more work on the paper
2010-03-19 Christian Urban polished
2010-03-19 Christian Urban more one the paper
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 another little bit for the introduction
2010-03-18 Christian Urban more of the introduction
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
2010-03-17 Christian Urban temporarily disabled tests in Nominal/ROOT
2010-03-17 Christian Urban made paper to compile
2010-03-03 Christian Urban start of paper - does not compile yet
2009-12-16 Christian Urban added a paper for possible notes
less more (0) tip