ProgTutorial/Tactical.thy
2009-03-26 Christian Urban more work on the simple inductive section
2009-03-25 Christian Urban soem slight polishing
2009-03-24 Christian Urban a bit more work on the simple-inductive package
2009-03-23 Christian Urban some polishing
2009-03-21 Christian Urban some polishing
2009-03-19 Christian Urban more one the simple-inductive chapter
less more (0) tip