2 commits

Author	SHA1	Message	Date
Leonardo de Moura	9128a437b8	refactor(library/cast): replace cast semantic attachment with axioms, add heterogeneous symmetry axiom ... Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>	2013-12-21 18:23:37 -08:00
Leonardo de Moura	55d46b2f88	test(tests/lean): add new normalizer/elaborator test ... Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>	2013-12-21 06:43:25 -08:00