ProgTutorial/Tactical.thy
2009-04-08 griff ran spell-checker
2009-04-07 Christian Urban added material about OuterKeyword.keyword and OuterParse.reserved
2009-04-07 Christian Urban permutation example uses now recent infrastructure
2009-04-01 Christian Urban more work on the simple inductive chapter
2009-03-31 Christian Urban used antiquotations
2009-03-31 Christian Urban added a declaration section (for Amine)
less more (0) -10 -6 tip