Gabriel Ebner a4d8ae2e30 fix(frontends/lean/parser): fix snapshots in prelude files		2016-10-13 18:49:10 -07:00
..
lean	fix(frontends/lean/parser): fix snapshots in prelude files	2016-10-13 18:49:10 -07:00
smt2	refactor(*): structured message objects	2016-10-13 18:49:10 -07:00