diff options
| author | coqbot | 2020-08-24 16:24:48 +0200 |
|---|---|---|
| committer | GitHub | 2020-08-24 16:24:48 +0200 |
| commit | 188e8f7084b586f2e555a5770d24eec8ebd05d91 (patch) | |
| tree | 7bbfcabfe15b63bc91ed0cadabe68cf21c60138f /kernel/nativelambda.ml | |
| parent | 0f5bd6a18d51a412ee3c8309b891254365e48b91 (diff) | |
| parent | 94bbe5b1d05f72d63eb72a407673a18df16fd7ed (diff) | |
Merge PR #12565: Dnets now consider axioms as being opaque for pattern recognition.
Reviewed-by: mattam82
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions