diff options
| author | Pierre-Marie Pédrot | 2018-11-12 17:39:31 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2018-11-12 17:39:31 +0100 |
| commit | 9f9bf0d0a711251537fedf0622f1c0757d42cb44 (patch) | |
| tree | d1ed0a512b219bdb6e56489ea3de19587dc34de6 /dev | |
| parent | b42e67e8a5afd9eee49c813fedc016904fcdc10f (diff) | |
| parent | cd2f7b4e19d4f231170a73f87800144963f8f1ad (diff) | |
Merge PR #8892: Fix part of #8224: grounding open term in fixpoints
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions