  We prove Kontsevich's homological mirror symmetry conjecture for a large
class of mirror pairs of Calabi--Yau hypersurfaces in toric varieties. These
mirror pairs were constructed by Batyrev from dual reflexive polytopes. The
theorem holds in characteristic zero and in all but finitely many positive
characteristics.
