Generalization in Type Theory Based Proof Assistants -- An Inductive Version of