3 commits

Author	SHA1	Message	Date
Leonardo de Moura	a5f0593df1	feat(*): change inductive datatype syntax ... Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>	2014-08-22 15:46:10 -07:00
Jeremy Avigad	6264fb52d6	fix(lean/library/standard): fix tests, more cleanup	2014-08-20 18:04:31 -07:00
Leonardo de Moura	1436212a34	fix(library/unifier): use depth-first search strategy for solving class-instance constraints ... Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>	2014-08-16 13:51:24 -07:00