diff options
author | 2016-05-16 20:57:34 +0200 | |
---|---|---|
committer | 2016-05-16 21:17:25 +0200 | |
commit | 9ae9ac00b6882a9918eea3cb7d809424695d37ff (patch) | |
tree | ee44e2e88516143ce366e7b4ec4be3acc96bc8b1 /plugins/rtauto/rtauto_plugin.mllib | |
parent | 12f4c8ed277fa8368cab2e99f173339a64bcef3d (diff) |
Put the "exact" family of tactic in the monad.
Diffstat (limited to 'plugins/rtauto/rtauto_plugin.mllib')
0 files changed, 0 insertions, 0 deletions