Added full function of UserDefs.sty