ProgTutorial/Tactical.thy
2010-02-05 Christian Urban updated to new Isabelle
2009-12-31 Christian Urban updated to new Isabelle
2009-12-06 Christian Urban polised
less more (0) -30 -10 -3 tip