summaryrefslogtreecommitdiffstats
path: root/vc
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2016-02-25 16:44:41 +0100
committerDavid A. Madore <david+git@madore.org>2016-02-25 16:44:41 +0100
commit043e8a416ff9da0dabb6416d5d0af54a434502a6 (patch)
tree5fbf802c1481d4cb3f8adb2a8b90b1e1cef56b12 /vc
parent6edcaa7872a2786c860a36fbbb590e7e4e034fb1 (diff)
downloadmitro206-043e8a416ff9da0dabb6416d5d0af54a434502a6.tar.gz
mitro206-043e8a416ff9da0dabb6416d5d0af54a434502a6.tar.bz2
mitro206-043e8a416ff9da0dabb6416d5d0af54a434502a6.zip
Second proof of open determinacy.
Diffstat (limited to 'vc')
0 files changed, 0 insertions, 0 deletions