diff options
Diffstat (limited to 'CHANGES')
-rw-r--r-- | CHANGES | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -61,6 +61,7 @@ Tactics - Tactic "assert" now accepts "as" intro patterns and "by" tactic clauses - New tactic "pose proof" that generalizes "assert (id:=p)" with intro patterns - New introduction pattern "?" for letting Coq choose a name +- Added "eassumption" Modules |