4 commits

Author	SHA1	Message	Date
Leonardo de Moura	20539d698f	fix(tests/lean): tests affected by new type class resolution procedure	2015-11-08 14:04:58 -08:00
Leonardo de Moura	4e78e35f77	fix(tests/lean): adjust remaining tests to changes in the standard library	2015-11-08 14:04:56 -08:00
Leonardo de Moura	2be83fbff7	test(tests/lean): remove data.nat dependency	2014-12-23 17:42:56 -08:00
Leonardo de Moura	c7406d6ce8	fix(library/scoped_ext): bug when declaring nested namespaces	2014-11-02 15:35:49 -08:00