progtutorial.pdf
2009-08-20 Christian Urban added an experimental antiquotation to replace eventually ML_response_fake
2009-08-20 Christian Urban further polishing of index generation
2009-08-20 Christian Urban simplified a bit the index generation
2009-08-20 Christian Urban polished
2009-08-19 Christian Urban polished the exercises about constructing terms
2009-08-18 Christian Urban added exercise
2009-08-17 Christian Urban polished
2009-08-16 Christian Urban tuned
2009-08-16 Christian Urban improvements from the workshop
2009-08-13 Christian Urban suggestions by Peter Homeier
2009-08-05 Christian Urban tuned the section about printing several bits of inormation
2009-08-05 Christian Urban added a comment for printing out information and tuned some examples accordingly
2009-08-05 Christian Urban polished comment for error function
2009-08-04 Christian Urban added an antiquotation for printing the raw proof state; polished the example about proof state
2009-08-03 Christian Urban tuned
2009-08-03 Christian Urban replaced "writeln" with "tracing"
2009-08-02 Christian Urban updated to Isabelle changes and merged sections in the FirstSteps chapter
2009-08-01 Christian Urban some general polishing
2009-07-30 Christian Urban tuned figure placement
2009-07-30 Christian Urban polished the package chapter used FOCUS to explain the subproofs
2009-07-30 Christian Urban made changes for SUBPROOF and sat_tac
2009-07-28 Christian Urban slightly changed exercises about rev_sum
2009-07-28 Christian Urban added more to the ML-antiquotation section
2009-07-27 Christian Urban polished the section on conversions
2009-07-26 Christian Urban slight change
2009-07-26 Christian Urban adapted to changes in Isabelle
2009-07-22 griff typo
2009-07-22 griff comment
2009-07-22 griff typo
2009-07-22 griff typo
less more (0) -100 -50 -30 tip