Leonardo de Moura dc1a1c8540 refactor(library): has_to_string ==> has_repr ... See issue #1664 This is just the first step to implement proposal described at issue #1664.		2017-06-18 18:29:19 -07:00
..
cli.lean	refactor(library): has_to_string ==> has_repr	2017-06-18 18:29:19 -07:00
default.lean	refactor(library/debugger): move debugger to tools	2016-12-17 10:50:13 -08:00
util.lean	refactor(library): has_to_string ==> has_repr	2017-06-18 18:29:19 -07:00