diff options
| author |  Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-03-20 20:41:17 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2016-03-20 21:03:32 +0100 |
| commit | c3de822e711fa3f10817432b7023fc2f88c0aeeb (patch) | |
| tree | 5c9f9713cb09aa63c2351a994cd9b8b62d8a8715 /pretyping/locusops.ml | |
| parent | e98d7276f52c4b67bf05a80a6b44f334966f82fd (diff) | |
Making Evarutil independent from Reductionops.
Diffstat (limited to 'pretyping/locusops.ml')
0 files changed, 0 insertions, 0 deletions