aboutsummaryrefslogtreecommitdiff
path: root/src/Tactics
Commit message (Expand)AuthorAge
* Fully qualify [Require]sGravatar Jason Gross2016-09-08
* wrap nsatz in AlgebraGravatar Andres Erbsen2016-07-11
* Various nsatz and field tactic improvementsGravatar Jason Gross2016-06-24
* nsatz_contradict can now handle invalid _ <> _ hypothesesGravatar Jason Gross2016-06-23
* Make [nsatz_contradict] better at inequalitiesGravatar Jason Gross2016-06-23
* Work around bug #4851 in nsatzGravatar Jason Gross2016-06-23
* parenthesize Ltac [constr:] argumentsGravatar Andres Erbsen2016-06-20
* Fix nsatz_compute for 8.4Gravatar Jason Gross2016-06-20
* More 8.5 fixesGravatar Jason Gross2016-06-20
* move nsatz into tactics directoryGravatar Andres Erbsen2016-06-20
* import VerdiTacticsGravatar Andres Erbsen2015-09-17