diff options
author | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-11-10 18:17:37 +0100 |
---|---|---|
committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-11-10 18:18:14 +0100 |
commit | e67760138af866b788db7b43a8e93c5f65a9a84e (patch) | |
tree | c3fed35702c34dd5837818cadd50f2d3357c6e6f /test-suite/micromega | |
parent | d57e30cfe8f68987ed216415079f4dab42065408 (diff) |
Updating Compat85.v after bd1c97653 on bracketing last or-and
introduction pattern by default.
Diffstat (limited to 'test-suite/micromega')
0 files changed, 0 insertions, 0 deletions