Sebastian Ullrich f255513fdc fix(frontends/lean/definition_cmds): apply attributes after declaring equational lemmas ... Fixes `@[simp] def ...`		2017-09-01 13:36:53 +02:00
..
lean	fix(frontends/lean/definition_cmds): apply attributes after declaring equational lemmas	2017-09-01 13:36:53 +02:00
smt2	fix(*): gcc 7 weird uninitialized warnings	2017-05-31 18:05:03 -07:00