2012-02-15 | Christian Urban | remerged | file | diff | annotate |
2012-02-15 | Christian Urban | merged | file | diff | annotate |
2012-02-15 | Christian Urban | updated to Isabelle 15 Feb | file | diff | annotate |
2012-01-21 | Christian Urban | updated part about beta in Tactiacal section | file | diff | annotate |
2012-01-21 | Christian Urban | merged | file | diff | annotate |
2012-01-21 | Christian Urban | modified the passage on beta-contractions | file | diff | annotate |
2012-01-16 | Christian Urban | tuned | file | diff | annotate |
2011-11-30 | Christian Urban | updated to Isabelle 30 November | file | diff | annotate |
2011-11-25 | Christian Urban | merged | file | diff | annotate |
2011-11-24 | Christian Urban | updated to Isabelle 24 November | file | diff | annotate |
2011-11-17 | Christian Urban | tuned | file | diff | annotate |
2011-11-17 | Christian Urban | more on contexts | file | diff | annotate |