summaryrefslogtreecommitdiffstats
path: root/plan-mitro206.tex
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2016-02-25 11:27:16 +0100
committerDavid A. Madore <david+git@madore.org>2016-02-25 11:27:16 +0100
commita42a0029c3399bf6d3e0fefbcca58ee7cfc5475e (patch)
tree710b44fababbfabc5157232ff39ced2e11b87739 /plan-mitro206.tex
parent8636acf6762500dd295b3bbea6a4f8af4e7404bf (diff)
downloadmitro206-a42a0029c3399bf6d3e0fefbcca58ee7cfc5475e.tar.gz
mitro206-a42a0029c3399bf6d3e0fefbcca58ee7cfc5475e.tar.bz2
mitro206-a42a0029c3399bf6d3e0fefbcca58ee7cfc5475e.zip
Prove the essentially trivial proposition about strategies (exists/forall).
Diffstat (limited to 'plan-mitro206.tex')
0 files changed, 0 insertions, 0 deletions