It was "proved" in 1961 that the first right derived functor, $\lim^1_{\leftarrow}$ of the inverse limit functor is zero on Mittag-Leffler systems.
However, recently a counter-example was found by Neeman and Deligne: http://www.springerlink.com/content/aeem2yx884nnufxn/
