Paper/Paper.thy
2010-03-19 Christian Urban more work on the paper
2010-03-19 Christian Urban picture
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 paper uses now a heap file - does not compile so long anymore
2010-03-17 Christian Urban temporarily disabled tests in Nominal/ROOT
2010-03-17 Christian Urban made paper to compile
less more (0) -15 tip