ProgTutorial/General.thy
2009-11-01 Christian Urban tuned index
2009-10-31 Christian Urban new parts in the tactical section
2009-10-29 Christian Urban tuned
2009-10-27 Christian Urban tuned
2009-10-25 Christian Urban tuned
2009-10-25 Christian Urban polished
2009-10-25 Christian Urban some polishing
less more (0) -30 -10 -7 tip