diff options
| author | Cyril Cohen | 2016-09-28 10:37:06 +0200 |
|---|---|---|
| committer | GitHub | 2016-09-28 10:37:06 +0200 |
| commit | fa7635aa606c2e8a24e772bebe46786b1acb2539 (patch) | |
| tree | efb7571cae13bcab138a0cf0bf4a35c08f2bb04f /mathcomp/ssreflect/eqtype.v | |
| parent | b0e2b308330a8c1e15e818d0381d457e93213cc1 (diff) | |
| parent | 3bf6fbc4d339545b0eace0689adfec048f1c8530 (diff) | |
Merge pull request #69 from ejgallego/dont-depend-on-program
[field] Remove unnecessary use of `Program Definition` use
Diffstat (limited to 'mathcomp/ssreflect/eqtype.v')
0 files changed, 0 insertions, 0 deletions