added a keyword file, but needs to re-generated whenever something changes with keywords in Isabelle

no_document use_thy "../Simple_Inductive_Package";