<addr>127.0.0.1</addr>
<port>50011</port>
<tactic>PrimitiveTactics.apply_tac</tactic>
<hint>Hbugs_types.Use_apply_Luke</hint>
<hint_type>Use Apply Luke (with argument)</hint_type>
<description>Search pattern apply tutor</description>
<addr>127.0.0.1</addr>
<port>50011</port>
<tactic>PrimitiveTactics.apply_tac</tactic>
<hint>Hbugs_types.Use_apply_Luke</hint>
<hint_type>Use Apply Luke (with argument)</hint_type>
<description>Search pattern apply tutor</description>