diff options
| author | Arnaud Spiwack | 2014-07-29 17:22:26 +0200 |
|---|---|---|
| committer | Arnaud Spiwack | 2014-07-29 17:22:26 +0200 |
| commit | 6fbaac4bea11324e6c6785e8a5a7e4334ebcea1e (patch) | |
| tree | 977f4f852bc41bc93b382035d8016785ffd1223e /kernel | |
| parent | 0c7278f6253a807a0385a348dd12ed2e39540e88 (diff) | |
Allow [uconstr:c] as argument of a tactic.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions