Leonardo de Moura 0e2b7973cf feat(kernel/free_vars): improve has_free_vars function, it produces better results for expressions containing metavariables ... Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>		2013-12-11 16:09:33 -08:00
..
frontends/lean	feat(frontends/lean): simplify how implicit parameters are marked	2013-12-10 12:11:04 -08:00
kernel	feat(kernel/free_vars): improve has_free_vars function, it produces better results for expressions containing metavariables	2013-12-11 16:09:33 -08:00
library	refactor(*): isolate std::thread dependency	2013-12-09 15:20:26 -08:00
util	chore(util/pvector): remove unused template	2013-12-10 20:32:10 -08:00