diff options
author | Enrico Tassi <Enrico.Tassi@inria.fr> | 2018-03-21 15:54:46 +0100 |
---|---|---|
committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2018-03-21 15:54:46 +0100 |
commit | d7ea089b890e93d42c9b3ddb3b521590f73356bc (patch) | |
tree | 7a4a5ab52aeb34b081f5b6454782a3361395ed2a /Makefile.doc | |
parent | 17c94dca5fe2fc19137b9cac923d51e8eb818041 (diff) | |
parent | 50409f26d4c4f6f71af20cbaea234b8c0649dd26 (diff) |
Merge PR #7023: [ssreflect] Respect Opaque in FO unification
Diffstat (limited to 'Makefile.doc')
0 files changed, 0 insertions, 0 deletions