Skip to content

Commit 7d5ee4d

Browse files
YaZkoYaZko
committed
Promoting the draft to main, keeping the old one for review of changes
1 parent 87ed644 commit 7d5ee4d

2 files changed

File tree

theories/Eq/SBisim.v renamed to theories/Eq/SBisim_old.v

File renamed without changes.

theories/Eq/SBisim_draft.v renamed to theories/Eq/Sbisim.v

File renamed without changes.

0 commit comments

Comments
 (0)