diff options
| author | msozeau | 2011-02-10 13:13:45 +0000 |
|---|---|---|
| committer | msozeau | 2011-02-10 13:13:45 +0000 |
| commit | c24849ef42adda2c5792f02a2c04f75505a7002a (patch) | |
| tree | ca711824b9fa9277fc90a0484b758f382a2e5968 /kernel | |
| parent | e095b5756e2a10d037deb9e91f45747bb233a37a (diff) | |
- proper printing of setoid_rewrite tactic applications
- keep a list of names to avoid when going under lambdas so as not to
clash with bound ltac variables (fixes Random contrib).
- remove unused argument of strategies.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13819 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions