src/Doc/IsarRef/ML_Tactic.thy
2013-02-28 wenzelm 2013-02-28 marginalized historic strip_tac;
2012-11-04 wenzelm 2012-11-04 tuned;
2012-08-28 wenzelm 2012-08-28 renamed doc-src to src/Doc; renamed TutorialI to Tutorial;