Tactic to hide hypotheses

[jonsterling]

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.