Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | | stuck trying to figure out dependently typed continuation passing style | 2016-07-06 | ||
|/ | ||||
* | Add [specialize_by] tactic | 2016-07-01 | ||
* | Fix field_algebra in 8.4 | 2016-06-28 | ||
* | Fix super_nsatz tactic to be better about ordering | 2016-06-28 | ||
* | Add [destruct_head] tactics | 2016-06-27 | ||
* | Add [break_match] for hypotheses | 2016-06-27 | ||
* | Various nsatz and field tactic improvements | 2016-06-24 | ||
* | Improve some tactics and lemmas | 2016-06-23 | ||
* | [break_match] should not be local | 2016-06-23 | ||
* | Add tactics to Tactics, at most 2 sq-roots to Algebra | 2016-06-23 | ||
* | Add a tactic for field inequalities | 2016-04-19 |