diff options
| author |  leino <unknown> | 2015-08-12 23:05:44 -0700 |
|---|---|---|
| committer | leino <unknown> | 2015-08-12 23:05:44 -0700 |
| commit | 3c6bbc3ee8a0452bcca193217957e6ea5e6e23f4 (patch) | |
| tree | 4536fbd5146d9618bb9159b9d9786b1ceb333502 /Binaries | |
| parent | f28fa68497352ffb57ab2846da4cc1c1aeaf1968 (diff) | |
Changed dafny3/Filter.dfy to use higher-order functions instead of the previous function handles
Diffstat (limited to 'Binaries')
0 files changed, 0 insertions, 0 deletions