ProgTutorial/Intro.thy
2012-08-28 Christian Urban added build for document
2012-08-27 Christian Urban adapted to new build framework
2012-06-21 Christian Urban tuned
2012-06-20 Christian Urban tuned
2012-06-20 Christian Urban moved the introspection part into the theorem section
2012-06-19 Christian Urban polished
2012-06-19 Christian Urban added a new recipe for introspecting theorems (suggested by Lukas and Rafal)
2012-06-18 Christian Urban updated
2012-06-18 Christian Urban polished
2012-06-18 Christian Urban improved new_command section
2012-04-30 Christian Urban removed special ML-setup and replaced it by explicit markups (i.e., %grayML)
2011-11-17 Christian Urban tuned
2011-11-06 Christian Urban a section about theories and setups
2011-11-05 Christian Urban added section about testboard
2011-06-21 Christian Urban added an excercise originally by Jasmin Blanchette
less more (0) -15 tip