summaryrefslogtreecommitdiffstats
path: root/controle-2010.tex
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2012-05-28 20:58:36 +0200
committerDavid A. Madore <david+git@madore.org>2012-05-28 20:58:36 +0200
commite686d3fcf22f26b6c284013bab9064505472c605 (patch)
treed247a3c6169d2a8038ad788f307eb72d98410540 /controle-2010.tex
parentf0ff0cff7813db523b3eab781d18e2af06d36d00 (diff)
downloadmdi349-e686d3fcf22f26b6c284013bab9064505472c605.tar.gz
mdi349-e686d3fcf22f26b6c284013bab9064505472c605.tar.bz2
mdi349-e686d3fcf22f26b6c284013bab9064505472c605.zip
Re-add some proofs that had been removed.
Diffstat (limited to 'controle-2010.tex')
0 files changed, 0 insertions, 0 deletions