diff options
| author |  Unknown <t-jasonk@A3479856.redmond.corp.microsoft.com> | 2011-05-13 10:43:58 -0700 |
|---|---|---|
| committer | Unknown <t-jasonk@A3479856.redmond.corp.microsoft.com> | 2011-05-13 10:43:58 -0700 |
| commit | 2178536246cab25a4564a15c05a6d2fcb4ac54ca (patch) | |
| tree | 681725d51412180fe699f62e17cffb42a99f3526 /_admin/Boogie | |
| parent | 01ef4de837c37c98edc7ba10241867873190b008 (diff) | |
Cleaner version of ghost loop termination example.
Diffstat (limited to '_admin/Boogie')
0 files changed, 0 insertions, 0 deletions