ProgTutorial/Advanced.thy
2013-12-15 Christian Urban updated to latest isabelle
2013-07-31 Christian Urban deleted comment about Theory.copy which is not used anymore in Isabelle
2013-02-25 Christian Urban updated the CallML section with the help from Florian
2012-12-01 Christian Urban updated to new isabelle
2012-05-24 Christian Urban updated
2012-04-30 Christian Urban removed special ML-setup and replaced it by explicit markups (i.e., %grayML)
2012-03-20 Christian Urban updated to outer syntax / parser changes
2012-01-16 Christian Urban tuned
2011-11-17 Christian Urban tuned
2011-11-17 Christian Urban more on contexts
2011-11-16 Christian Urban more on contexts
2011-11-14 Christian Urban more on contexts
2011-11-14 Christian Urban tuned
2011-11-12 Christian Urban tuned
2011-11-12 Christian Urban tuned
2011-11-11 Christian Urban more on contexts
2011-11-10 Christian Urban tuned
2011-11-10 Christian Urban tuned
2011-11-10 Christian Urban tuned
2011-11-09 Christian Urban tuned
2011-11-09 Christian Urban tuned
2011-11-07 Christian Urban more on contexts
2011-11-07 Christian Urban more on theories
2011-11-06 Christian Urban a section about theories and setups
2011-11-05 Christian Urban added section about testboard
2011-11-04 Christian Urban more material
2011-10-30 Christian Urban updated
2011-10-26 Christian Urban updated to post-2011-1 Isabelle
2011-06-28 Christian Urban updated to new Isabelle
2011-05-17 Christian Urban merged
2011-05-17 Christian Urban updated to new Isabelle
2011-04-19 Christian Urban updated
2010-07-28 Christian Urban test
2010-01-08 Christian Urban polished
2009-12-31 Christian Urban updated to new Isabelle
2009-12-03 Christian Urban tuned
2009-12-02 Christian Urban tunded
2009-11-22 Christian Urban updated to new Isabelle and clarified Skip_Proof
2009-11-22 Christian Urban tuning
2009-11-19 Christian Urban tuned
2009-11-19 Christian Urban spilt the Essential's chapter
less more (0) tip