diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-09-03 20:39:26 +0200 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-09-10 10:58:06 +0200 |
| commit | b3a5450370b64ef59bd08f9ac2dc3862b9a37e6c (patch) | |
| tree | d561d78f04ab53265bf9203ef738737f3cfa4a4b /tactics | |
| parent | 47fc0cbd21c954dbed9ee021dbb7c54ac981d2d8 (diff) | |
Example for apply and evars.
Diffstat (limited to 'tactics')
0 files changed, 0 insertions, 0 deletions