diff options
| author |  Rustan Leino <leino@microsoft.com> | 2012-01-11 14:20:02 -0800 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2012-01-11 14:20:02 -0800 |
| commit | aa1db181e9aa277a1cca3c7f3e54c0f2b0d19d41 (patch) | |
| tree | 49c594018fb786cd53c394978c43677604f0c90d /Test/dafny1/SeparationLogicList.dfy | |
| parent | 20bbf073f2dd3801933c484b5670be164ebd4015 (diff) | |
Dafny: make full predicate definitions available only inside a module (outside is just an implication: the predicate implies the body known so far)
Diffstat (limited to 'Test/dafny1/SeparationLogicList.dfy')
0 files changed, 0 insertions, 0 deletions