search

au-ts / cogent

Cogent Project
https://trustworthy.systems/projects/TS/cogent.pml
Other
158 stars 26 forks source link

compiler: Fix isabelle renaming to be consistent #301

Closed emmet-m closed 4 years ago

emmet-m commented 4 years ago

Added:

Fixes #300

zilinc commented 4 years ago

@emmet-m when you think it's ready to merge, you can merge it, or signal me. It looks good to me so far.