Leonardo de Moura 3e4d849a4a refactor(kernel/metavar.h): simplify API		2015-03-12 12:50:53 -07:00
..
lean	fix(library/tactic/class_instance_synth): enforce consistent behavior in type class resolution	2015-03-12 10:27:05 -07:00
lua	refactor(kernel/metavar.h): simplify API	2015-03-12 12:50:53 -07:00