4 commits

Author	SHA1	Message	Date
Daniel Selsam	4f8db64e23	refactor(simplifier): many fixes, extensions, and tests ... fix(simplifier): missing simp rule in prop simplifier fix(library/unfold_macros): do not look for untrusted macros when using sufficient trust level	2016-08-19 14:57:03 -07:00
Leonardo de Moura	fc4e304b27	refactor(library): move equations to equations_compiler	2016-08-11 10:08:30 -07:00
Leonardo de Moura	9cf995fae8	refactor(library/util): move more procedures from old_util to util	2016-03-21 14:25:40 -07:00
Leonardo de Moura	8dde1489f9	refactor(library/util): isolate util procedures that depend on old_type_checker	2016-03-21 13:36:08 -07:00