Paper/Paper.thy
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
less more (0) -100 -50 -30 tip