diff options
author | Jason Gross <jgross@mit.edu> | 2019-04-22 21:17:05 -0400 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2019-04-22 21:17:05 -0400 |
commit | ecdfd03c636ab63e167fbe4fc4d7ab0ed5d9db74 (patch) | |
tree | 8a9d443ec84d11fae082ca9f1cac4a2db2f5cdb2 /src/PushButtonSynthesis/LegacySynthesisTactics.v | |
parent | c9ed485e5521c4ebead81d48d66a782b3a46ca4f (diff) |
Add some move/transport eq lemmas
Diffstat (limited to 'src/PushButtonSynthesis/LegacySynthesisTactics.v')
0 files changed, 0 insertions, 0 deletions