ProgTutorial/Tactical.thy
2010-06-02 Christian Urban tuned
2010-06-02 Christian Urban added something about raw_tactic
2010-05-17 Christian Urban updated to new Isabelle
2010-04-26 Christian Urban updated to new Isabelle
2010-03-07 Christian Urban updated to new isabelle
2010-02-05 Christian Urban updated to new Isabelle
2009-12-31 Christian Urban updated to new Isabelle
2009-12-06 Christian Urban polised
2009-12-04 Christian Urban polised the section about Subgoal.FOCUS
2009-12-03 Christian Urban tuned
2009-12-02 Christian Urban tunded
2009-12-02 Christian Urban implemented suggestion from Sascha
less more (0) -12 tip