]> mj.ucw.cz Git - saga.git/commit
Almost fixed the proof of I3.
authorMartin Mares <mj@ucw.cz>
Wed, 16 Apr 2008 12:12:38 +0000 (14:12 +0200)
committerMartin Mares <mj@ucw.cz>
Wed, 16 Apr 2008 12:12:38 +0000 (14:12 +0200)
commit880e8c60b2fb331131d34c4fa9a8873ef5b08205
treec72603421fb94b448b73d708310a41b49cb56520
parent9f6dae5f91a6a03d851b04d91bc685da43e31f68
Almost fixed the proof of I3.
PLAN
dyn.tex