progtutorial.pdf
2009-07-21 griff discussion of "const_name" before exercises
2009-07-21 griff if n would be 0, rev_sum would be missing an argument
2009-07-21 Christian Urban tuned
2009-07-20 Christian Urban small changes for latest changes in Isabelle
2009-07-14 Christian Urban minor tuning
2009-07-13 Christian Urban added section about code maintenance and added an example for antiquotations
2009-06-24 Christian Urban adapted to changes in Isabelle
2009-06-23 Christian Urban updated to new Isabelle
2009-06-05 Christian Urban updated to lates Isabelle changes
2009-06-04 Christian Urban minor tuning
2009-05-30 Christian Urban slightly modified index generation
2009-05-30 Christian Urban corrected index references and minor polishing
2009-05-30 Christian Urban added some first index-information
2009-05-30 Christian Urban added infrastructure for index; antiquotations have now the options [index] and [indexc]
2009-05-29 Christian Urban some slight polishing
2009-05-28 Christian Urban added comments about ML_prf and ML_val
less more (0) -16 tip