ProgTutorial/First_Steps.thy
2013-05-28 Christian Urban updated to Isabelle changes
2013-04-19 Christian Urban updated to simplifier change
2012-10-04 Christian Urban removed "use" for "ML_file"
2012-04-30 Christian Urban removed special ML-setup and replaced it by explicit markups (i.e., %grayML)
2011-11-25 Christian Urban merged
2011-11-24 Christian Urban updated to Isabelle 24 November
2011-11-17 Christian Urban tuned
2011-11-12 Christian Urban tuned
2011-11-07 Christian Urban tuned
2011-11-04 Christian Urban more material
2011-11-03 Christian Urban tuned
2011-11-02 Christian Urban tuned
2011-10-30 Christian Urban updated
2011-10-29 Christian Urban test
2011-10-29 Christian Urban a few things added First_Steps
2011-10-27 Christian Urban some tests
2011-10-26 Christian Urban merged
2011-10-26 Christian Urban minor things
2011-10-26 Christian Urban updated to post-2011-1 Isabelle
2011-10-19 Christian Urban a few things updated
2011-06-28 Christian Urban updated to new Isabelle
2011-06-20 Christian Urban more polishing
2011-06-19 Christian Urban soem polishing
2011-06-17 Christian Urban a little polishing
2011-05-17 Christian Urban updated to new Isabelle
2011-02-23 Christian Urban updated to post-2011 Isabelle
2010-10-29 griff tracing_fn was moved to Output.Private_Hooks
2010-10-29 Christian Urban disabled foobar_prove; updated to new Isabelle
2010-08-28 Christian Urban a bit closer to the new conventions of naming HOL-constants
2010-08-13 Christian Urban added an example to be used for conversions later on
2010-07-28 Christian Urban test
less more (0) tip