Leonardo de Moura cf32e25f68 fix(frontends/lean/pp): pretty print pattern hints		2016-12-26 16:13:41 -08:00
..
lean	fix(frontends/lean/pp): pretty print pattern hints	2016-12-26 16:13:41 -08:00
smt2	refactor(library/module): import all modules in a single call	2016-12-20 10:15:19 -08:00