ProgTutorial/Helper/Command/Command.thy
2012-06-18 Christian Urban improved new_command section
2012-03-20 Christian Urban updated to outer syntax / parser changes
2010-10-29 Christian Urban disabled foobar_prove; updated to new Isabelle
2010-08-28 Christian Urban updated to new isabelle
2010-05-27 Christian Urban updated to new Isabelle
2010-04-26 Christian Urban updated to new Isabelle
2009-11-19 Christian Urban updated to new Isabelle
2009-10-03 Christian Urban updated to new Isabelle; more work on the data section
2009-09-28 Christian Urban updated foobar_proof example
2009-08-22 Christian Urban polished the commands section
2009-08-21 Christian Urban added file for producing a keyword file
less more (0) tip