2009-03-24 Christian Urban a bit more work on the simple-inductive package
2009-03-24 Christian Urban some polishing
2009-03-24 Christian Urban added a keyword file, but needs to re-generated whenever something changes with keywords in Isabelle
2009-03-24 Christian Urban added infrastructure to generate the keyword file for simple_inductive
2009-03-23 Christian Urban merged
2009-03-23 Christian Urban merged
2009-03-23 griff tiny changes
2009-03-23 griff passive of `build' = `built'
2009-03-23 griff small changes
2009-03-23 griff typos
2009-03-23 griff again spell-checker on FirstSteps
2009-03-23 griff used spell checker on `FirstSteps' + small changes
2009-03-23 griff fixed `str_of_thms' output in example + small changes
2009-03-23 griff corrected typos + some small reformulations
2009-03-23 Christian Urban some polishing
2009-03-23 Christian Urban polishing to the theorem attributes section
2009-03-21 Christian Urban some polishing
2009-03-19 Christian Urban polished some recipies
2009-03-19 Christian Urban more one the simple-inductive chapter
2009-03-19 Christian Urban made more of the transition from "CookBook" to "ProgTutorial"
2009-03-18 Christian Urban added lots of FIXMES
2009-03-18 Christian Urban added non-standard Latex-style
2009-03-18 Christian Urban made the Ackermann function example safer and included suggestions from MW
2009-03-18 Christian Urban some polishing
2009-03-18 Christian Urban some polishing
2009-03-17 Christian Urban a simplification suggested by Stefan and some polishing
2009-03-17 Christian Urban added hyperlinks for every file pointer
2009-03-17 Christian Urban updated to new method_setup
2009-03-17 Christian Urban added a recipy about SAT solvers
2009-03-16 Christian Urban more work on the simple-induct. chapter
2009-03-15 Christian Urban adapted to latest Attrib.setup changes and more work on the simple induct chapter
2009-03-13 Christian Urban polishing
2009-03-13 Christian Urban updated to new read_specification
2009-03-13 Christian Urban some 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 Christian Urban simplified antiquotations
2009-03-12 boehmes merged
2009-02-26 boehmes Corrected small mistake.
2009-03-11 Christian Urban polished somewhat the recipes and solutions
2009-03-11 Christian Urban added temporarily some timing test about conversions and simprocs
2009-03-11 Christian Urban improvments to the solutions suggested by Sacha B?hme
2009-03-11 Christian Urban partially adapted to new antiquotation infrastructure
2009-03-10 Christian Urban more work on simple_inductive
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 updated to chages in binding module
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-03-02 Christian Urban tuned
2009-03-01 Christian Urban updated to repository version; added a section about timing
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
(0) -100 -60 +60 +100 +300 tip