2012-02-19 Christian Urban updated to new Isabelle
2012-02-15 Christian Urban remerged
2012-02-15 Christian Urban merged
2012-02-15 Christian Urban updated to Isabelle 15 Feb
2012-01-21 Christian Urban updated part about beta in Tactiacal section
2012-01-21 Christian Urban merged
2012-01-21 Christian Urban modified the passage on beta-contractions
2012-01-16 Christian Urban tuned
2011-11-30 Christian Urban updated to Isabelle 30 November
2011-11-25 Christian Urban merged
2011-11-24 Christian Urban updated to Isabelle 24 November
2011-11-17 Christian Urban tuned
Loading...
(0) -300 -100 -12 +12 tip