2009-04-15 | Christian Urban | replaced "warning" with "writeln" | file | diff | annotate |
2009-04-02 | Christian Urban | section for further material about simple inductive | file | diff | annotate |
2009-03-30 | Christian Urban | updated to latest Isabelle | file | diff | annotate |
2009-03-21 | Christian Urban | some polishing | file | diff | annotate |
2009-03-19 | Christian Urban | made more of the transition from "CookBook" to "ProgTutorial" | file | diff | annotate | base |