When routes are redistributed into EIGRP they have a default metric of infinite and thus such routes will not show up in routing tables. We have to specify with what metrics to redistribute routes into EIGRP.