Leonardo de Moura
|
c280ddb2b0
|
fix(tests,doc): adjust tests and documentation
|
2015-11-20 17:03:17 -08:00 |
|
Daniel Selsam
|
a02459fe5e
|
test(simplifier9.lean): fix order of congr rules
|
2015-11-16 20:33:22 -08:00 |
|
Daniel Selsam
|
b9a516783c
|
fix(library/blast/simplifier): remove unnecessary casts
|
2015-11-16 20:33:22 -08:00 |
|
Leonardo de Moura
|
b3ca5faa49
|
fix(tests/lean): some of the simplifier tests
|
2015-11-16 11:01:53 -08:00 |
|
Daniel Selsam
|
bacb9f99aa
|
fix(logic/quantifiers): restore original
|
2015-11-08 14:05:03 -08:00 |
|
Daniel Selsam
|
b727d5810a
|
feat(library/blast/simplifier): rewrite with tmp locals
|
2015-11-08 14:05:02 -08:00 |
|