2009-12-31 | Christian Urban | updated to new Isabelle | file | diff | annotate |
2009-12-06 | Christian Urban | polised | file | diff | annotate |
2009-12-04 | Christian Urban | polised the section about Subgoal.FOCUS | file | diff | annotate |
2009-12-03 | Christian Urban | tuned | file | diff | annotate |
2009-12-02 | Christian Urban | tunded | file | diff | annotate |
2009-12-02 | Christian Urban | implemented suggestion from Sascha | file | diff | annotate |