ProgTutorial/Tactical.thy
2009-08-19 Christian Urban polished the exercises about constructing terms
2009-08-16 Christian Urban improvements from the workshop
2009-08-13 Christian Urban suggestions by Peter Homeier
2009-08-05 Christian Urban added a comment for printing out information and tuned some examples accordingly
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 made changes for SUBPROOF and sat_tac
2009-07-28 Christian Urban added more to the ML-antiquotation section
2009-07-27 Christian Urban polished the section on conversions
less more (0) -12 tip