ProgTutorial/First_Steps.thy
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