diff options
| author |  Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2014-03-03 01:59:16 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2014-03-03 02:04:49 +0100 |
| commit | b076e7f88124db576c4f3c06e2ac93673236be7a (patch) | |
| tree | 8b293ea96457f0c421d85b968c2e392074afbdb7 /tactics/btermdn.ml | |
| parent | 28a2641df29cd7530c3ebe329dc118ba3f444b10 (diff) | |
Replacing arguments of Trie by a cancellable monoid.
Diffstat (limited to 'tactics/btermdn.ml')
0 files changed, 0 insertions, 0 deletions