diff options
| author |  Jason Gross <jagro@google.com> | 2016-07-18 13:41:25 -0700 |
|---|---|---|
| committer | Jason Gross <jagro@google.com> | 2016-07-18 13:41:25 -0700 |
| commit | dc585913d86991a12826e181a66f9c3a02afbd8f (patch) | |
| tree | 17c7da4fcf5d17a64406a722fa97b7e398d7f567 /src/Experiments | |
| parent | 19dbf8eb3fd57262c6c66677f71e7a6617e0df9d (diff) | |
Fix for Coq 8.4 (omega used to be weaker)
Diffstat (limited to 'src/Experiments')
0 files changed, 0 insertions, 0 deletions