Leonardo de Moura 6e6609f2aa fix(frontends/lean): use coercions to sort at elaborate_type		2016-09-26 16:47:31 -07:00
..
lean	fix(frontends/lean): use coercions to sort at elaborate_type	2016-09-26 16:47:31 -07:00