ProgTutorial/Intro.thy
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
2011-06-17 Christian Urban a little polishing
2011-05-17 Christian Urban updated to new Isabelle
2010-10-29 griff corrected AFP name
2010-10-29 griff singular?
2010-10-29 griff added missing 'of'
2010-07-28 Christian Urban test
2010-07-20 Christian Urban partially moved from string_of_term to pretty_term
2010-06-02 Christian Urban added Andreas
2010-05-29 Christian Urban added example from Tobias and changed the title
2010-05-24 Christian Urban added phi for morphisms
2010-04-24 Christian Urban added a section to the introduction; described @{make_string}
2010-02-11 Christian Urban typos fixed by Michael Norrish
less more (0) -15 tip