@@ -38,6 +38,7 @@ tacticArgs = [ ("intro", Nothing) -- FIXME syntax for intro (fresh name)
38 , ("let", Nothing) -- FIXME syntax for let
38 , ("let", Nothing) -- FIXME syntax for let
39 , ("focus", Just ExprTArg)
39 , ("focus", Just ExprTArg)
40 , ("exact", Just ExprTArg)
40 , ("exact", Just ExprTArg)
41+ , ("equiv", Just ExprTArg)
41 , ("applyTactic", Just ExprTArg)
42 , ("applyTactic", Just ExprTArg)
42 , ("reflect", Just ExprTArg)
43 , ("reflect", Just ExprTArg)
43 , ("fill", Just ExprTArg)
44 , ("fill", Just ExprTArg)