diff options
| author | David A. Madore <david+git@madore.org> | 2016-02-25 11:27:16 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2016-02-25 11:27:16 +0100 |
| commit | a42a0029c3399bf6d3e0fefbcca58ee7cfc5475e (patch) | |
| tree | 710b44fababbfabc5157232ff39ced2e11b87739 /vc | |
| parent | 8636acf6762500dd295b3bbea6a4f8af4e7404bf (diff) | |
| download | mitro206-a42a0029c3399bf6d3e0fefbcca58ee7cfc5475e.tar.gz mitro206-a42a0029c3399bf6d3e0fefbcca58ee7cfc5475e.tar.bz2 mitro206-a42a0029c3399bf6d3e0fefbcca58ee7cfc5475e.zip | |
Prove the essentially trivial proposition about strategies (exists/forall).
Diffstat (limited to 'vc')
0 files changed, 0 insertions, 0 deletions