Tactic to hide hypotheses #326
Description
When using generalization tactics, it's helpful to be able to hide the dummy hypotheses that were generalized away. Really there seems to be no actual reason to delete them; we just don't want to see them.
{{ message }}