2010-02-11 | Christian Urban | typos fixed by Michael Norrish | file | diff | annotate |
2010-01-08 | Christian Urban | polished | file | diff | annotate |
2009-11-17 | Christian Urban | modified the typ-pretty-printer and added parser exercise | file | diff | annotate |
2009-11-17 | Christian Urban | added example by Lukas Bulwahn | file | diff | annotate |
2009-10-25 | Christian Urban | some polishing | file | diff | annotate |
2009-10-22 | Christian Urban | updated to new Isabelle | file | diff | annotate |
2009-10-19 | Christian Urban | completed section on theorems | file | diff | annotate |