theories/strings.v · a64bf2f02017cca1821584dc07a78ecac50da23d · Arthur Azevedo de Amorim / stdpp

Forked from Iris / stdpp

Source project has a limited visibility.

5 years ago

Jacques-Henri Jourdan authored 5 years ago

Use Open/Close Scope without Local (i.e., export the scope opening)
only when the scope corresponds to the main purpose of the module.

a64bf2f0

Jacques-Henri Jourdan authored 5 years ago

Use Open/Close Scope without Local (i.e., export the scope opening)
only when the scope corresponds to the main purpose of the module.