=== Help HOOO ===
Made by Sven Nilsen, 2022

bye           Exit program
rem <expr>    Remove tactic or expression
use <tactic>  Use tactic
clear         Clear all tactics and expressions
sugg          Get suggestions
``            Prints line separator
help tactic   More information about tactics
