--- a/doc-src/IsarRef/Thy/ML_Tactic.thy Tue May 03 14:23:40 2011 +0200 +++ b/doc-src/IsarRef/Thy/ML_Tactic.thy Tue May 03 15:07:36 2011 +0200 @@ -1,5 +1,5 @@ theory ML_Tactic -imports Main +imports Base Main begin chapter {* ML tactic expressions *}