diff options
author | 2017-05-31 11:37:33 +0200 | |
---|---|---|
committer | 2017-05-31 11:37:33 +0200 | |
commit | e7e0946401aa931ddca90d616a7968d548ab060f (patch) | |
tree | 297dcfbb0c3daef08ac134c6b52c58ab09e3cdd3 /plugins/omega/OmegaTactic.v | |
parent | ab19d271f91007cc76ed95d973bd9b95701c6b2e (diff) | |
parent | 58e804f07172acc6bb01c8bdafde1217eb4ec4b8 (diff) |
Merge PR#560: Reinstate fixpoint refolding in [cbn], deactivated by mistake (EDIT: for mutual fixpoints)
Diffstat (limited to 'plugins/omega/OmegaTactic.v')
0 files changed, 0 insertions, 0 deletions