CookBook/Tactical.thy
2009-03-13 Christian Urban polishing
2009-03-13 Christian Urban some minor polishing
2009-03-12 Christian Urban used latex package boxedminipage
2009-03-12 Christian Urban improved the solution for the simproc/conversion exercise
2009-03-12 boehmes merged
2009-02-26 boehmes Corrected small mistake.
2009-03-11 Christian Urban improvments to the solutions suggested by Sacha B?hme
2009-03-08 Christian Urban removed rep_ss, and used dest_ss instead; some very slight changes to simple_inductive
2009-03-06 Christian Urban some additions to the simplifier section and general tuning
2009-03-06 Christian Urban rolled back the changes on the function warning and tracing
2009-03-05 Christian Urban redefined the functions warning and tracing in order to properly match more antiquotations
2009-03-04 Christian Urban removed infix_conv and moved function no_vars into the FirstSteps chapter
2009-03-04 Christian Urban added more to the simplifier section
2009-03-03 Christian Urban polished
2009-02-28 Christian Urban general polishing; added versioning to the document
2009-02-27 Christian Urban added material to the endless story of the simplifier
2009-02-27 Christian Urban added more material to the attribute section; merged the recipe about named theorems into the main body; added a solution to an exercise in the conversion section
2009-02-26 Christian Urban added a comment about Conv.fun_conv
2009-02-26 Christian Urban polished
2009-02-25 Christian Urban deleted Ad-hoc recipe
2009-02-25 Christian Urban more polishing of the conversion section
2009-02-25 Christian Urban some polishing about conversions
2009-02-25 Christian Urban some very slight polishing on the conversion section
2009-02-25 boehmes Polished conversion section.
2009-02-25 boehmes Merged with new cookbook.pdf.
2009-02-25 boehmes Improved conversion subsection.
2009-02-24 Christian Urban new pfd file
2009-02-24 boehmes First draft for conversions subsection.
2009-02-24 Christian Urban some slight polishing
2009-02-24 Christian Urban polishing and start of the section about attributes
2009-02-23 Christian Urban polished
2009-02-23 Christian Urban polished
2009-02-22 Christian Urban polished the section about simprocs and added an exercise
2009-02-22 Christian Urban started a section about simprocs
2009-02-21 Christian Urban polished
2009-02-19 Christian Urban polished
2009-02-15 Christian Urban some polishing; split up the file External Solver into two
2009-02-14 Christian Urban polished and added more material to the package chapter
2009-02-13 Christian Urban properly handled linenumbers in ML-text and Isar-proofs
2009-02-12 Christian Urban polished
2009-02-11 Christian Urban added to the tactical chapter; polished; added the tabularstar environment (which is just tabular*)
2009-02-09 Christian Urban polished and more material in the tactic chapter
2009-02-09 Christian Urban added more to the Tactical section
2009-02-08 Christian Urban polished
2009-02-07 Christian Urban general cleaning up; deleted antiquotation ML_text; adjusted pathnames of various files in the distribution
2009-02-05 Christian Urban polished
2009-02-04 Christian Urban added some preliminary notes about SUBPROOF
2009-01-30 Christian Urban added
less more (0) tip