Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Various nsatz and field tactic improvements | 2016-06-24 | |
* | nsatz_contradict can now handle invalid _ <> _ hypotheses | 2016-06-23 | |
* | Make [nsatz_contradict] better at inequalities | 2016-06-23 | |
* | Work around bug #4851 in nsatz | 2016-06-23 | |
* | parenthesize Ltac [constr:] arguments | 2016-06-20 | |
* | Fix nsatz_compute for 8.4 | 2016-06-20 | |
* | More 8.5 fixes | 2016-06-20 | |
* | move nsatz into tactics directory | 2016-06-20 | |
* | import VerdiTactics | 2015-09-17 |