Get rid of locked value lambdas.
Showing
- HeapLang.md 4 additions, 7 deletionsHeapLang.md
- theories/heap_lang/lib/assert.v 4 additions, 3 deletionstheories/heap_lang/lib/assert.v
- theories/heap_lang/lib/par.v 1 addition, 1 deletiontheories/heap_lang/lib/par.v
- theories/heap_lang/lifting.v 18 additions, 10 deletionstheories/heap_lang/lifting.v
- theories/heap_lang/notation.v 2 additions, 13 deletionstheories/heap_lang/notation.v
- theories/heap_lang/proofmode.v 8 additions, 9 deletionstheories/heap_lang/proofmode.v
Loading
Please register or sign in to comment