progtutorial.pdf
2009-12-31 Christian Urban updated to new Isabelle
2009-12-06 Christian Urban polised
2009-12-04 Christian Urban polised the section about Subgoal.FOCUS
2009-12-03 Christian Urban tuned
2009-12-02 Christian Urban tunded
2009-12-02 Christian Urban tuned
2009-12-02 Christian Urban implemented suggestion from Sascha
2009-12-01 Christian Urban improved section on conversions
2009-11-25 Christian Urban added RANGE
2009-11-24 Christian Urban added something about unifiacation and instantiations
2009-11-24 Christian Urban tuned solution with comb_conv
2009-11-22 Christian Urban updated to new Isabelle and clarified Skip_Proof
2009-11-22 Christian Urban tuning
2009-11-20 Christian Urban tuned
less more (0) -100 -14 tip