Commit 74912c7

committed

unsoundness fix

1 parent d5f1412 commit 74912c7Copy full SHA for 74912c7

2 files changed

+547

-504

lines changed

theories/gitree
- logrel.v
- reductions.v

2 files changed

+547

-504

lines changed

Comments

(0)