progtutorial.pdf
2013-05-28 Christian Urban updated to Isabelle changes
2013-05-17 Christian Urban updated to new Isabelle
2013-04-19 Christian Urban updated to simplifier change
2013-03-01 Christian Urban tuned
2013-02-25 Christian Urban updated the CallML section with the help from Florian
2012-12-31 Christian Urban added readme and fixed output in Subgoal.FOCUS section
2012-12-01 Christian Urban removed versions
2012-12-01 Christian Urban updated to new isabelle
2012-10-04 Christian Urban removed "use" for "ML_file"
2012-09-16 Christian Urban updated
2012-08-28 Christian Urban added build for document
2012-08-27 Christian Urban adapted to new build framework
2012-06-22 Christian Urban tuned
2012-06-21 Christian Urban tuned
2012-06-21 Christian Urban tuned
less more (0) -300 -100 -15 tip