diff options
author | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-05-17 22:37:19 +0200 |
---|---|---|
committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-05-17 22:38:40 +0200 |
commit | f7fb1918619fcef384d4aa84938246de67c707fa (patch) | |
tree | 6f8b1b8ba71681b06b4a74ddeee76d02a3ef09dd /plugins/micromega/micromega_plugin.mllib | |
parent | cead0ce54cf290016e088ee7f203d327a3eea957 (diff) | |
parent | dadd4003b6607ccc103658f842b5efbd6d8ab57f (diff) |
Putting all the tactics exported by the Tactics module in the new monad API.
Diffstat (limited to 'plugins/micromega/micromega_plugin.mllib')
0 files changed, 0 insertions, 0 deletions