Sebastian Ullrich b3262d53b4 feat(frontends/lean/elaborator): structure notation: fall back to inferring superclasses		2018-02-02 08:58:53 -08:00
..
io.lean	chore(library/system/io): tactic.run_io ==> tactic.unsafe_run_io	2018-01-24 10:32:32 -08:00
io_interface.lean	feat(frontends/lean/elaborator): structure notation: fall back to inferring superclasses	2018-02-02 08:58:53 -08:00