diff options
| author |  Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-05-16 20:57:34 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-05-16 21:17:25 +0200 |
| commit | 9ae9ac00b6882a9918eea3cb7d809424695d37ff (patch) | |
| tree | ee44e2e88516143ce366e7b4ec4be3acc96bc8b1 /Makefile.common | |
| parent | 12f4c8ed277fa8368cab2e99f173339a64bcef3d (diff) | |
Put the "exact" family of tactic in the monad.
Diffstat (limited to 'Makefile.common')
0 files changed, 0 insertions, 0 deletions