equal
deleted
inserted
replaced
171 |
171 |
172 addeqcongs ~> Simplifier.add_eqcong |
172 addeqcongs ~> Simplifier.add_eqcong |
173 deleqcongs ~> Simplifier.del_eqcong |
173 deleqcongs ~> Simplifier.del_eqcong |
174 addcongs ~> Simplifier.add_cong |
174 addcongs ~> Simplifier.add_cong |
175 delcongs ~> Simplifier.del_cong |
175 delcongs ~> Simplifier.del_cong |
|
176 setmksimps ~> Simplifier.set_mksimps |
|
177 setmkcong ~> Simplifier.set_mkcong |
|
178 setmksym ~> Simplifier.set_mksym |
|
179 setmkeqTrue ~> Simplifier.set_mkeqTrue |
|
180 settermless ~> Simplifier.set_termless |
|
181 setsubgoaler ~> Simplifier.set_subgoaler |
176 addsplits ~> Splitter.add_split |
182 addsplits ~> Splitter.add_split |
177 delsplits ~> Splitter.del_split |
183 delsplits ~> Splitter.del_split |
178 |
184 |
179 |
185 |
180 |
186 |