Made AbstractIntegration.v require SimpleIntegration.v instead of the other way around. SimpleIntegration.v defines integral for uniformly comtinuous functions; AbstractIntegration.v proves properties of integral. Also proved several lemmas about rational numbers.