log

age author description
2017-06-02 Shinji KONO fix
2017-06-02 Shinji KONO try two field again
2017-05-24 Shinji KONO on going ...
2017-05-23 Shinji KONO lemma-equ retry
2017-05-23 Shinji KONO dead end
2017-05-22 Shinji KONO fix
2017-05-21 Shinji KONO fix
2017-05-15 Shinji KONO on going ..
2017-05-14 Shinji KONO slid rewrite
2017-05-14 Shinji KONO on going ...
2017-05-14 Shinji KONO dead end
2017-05-12 Shinji KONO fix
2017-05-12 Shinji KONO on going ...
2017-05-11 Shinji KONO on going ..
2017-05-11 Shinji KONO on oging ...
2017-05-11 Shinji KONO cequ introduced
2017-05-03 Shinji KONO anothter approach
2017-05-03 Shinji KONO close
2017-05-01 Shinji KONO another approach
2017-04-29 Shinji KONO to case for equ lemma
2017-04-28 Shinji KONO ...
2017-04-28 Shinji KONO one yelllow
2017-04-28 Shinji KONO dead end
2017-04-27 Shinji KONO sproj approach
2017-04-27 Shinji KONO look like dead end
2017-04-25 Shinji KONO ...
2017-04-25 Shinji KONO fix
2017-04-24 Shinji KONO fix
2017-04-24 Shinji KONO fix
2017-04-24 Shinji KONO yelloow remains
2017-04-24 Shinji KONO lemma-equ
2017-04-24 Shinji KONO last one problem in SetCompleteness
2017-04-24 Shinji KONO on going ...
2017-04-24 Shinji KONO on going ...
2017-04-24 Shinji KONO on going ...
2017-04-24 Shinji KONO on ging ...
2017-04-23 Shinji KONO try id equalizer
2017-04-10 Shinji KONO dead end again ...
2017-04-10 Shinji KONO on going ...
2017-04-10 Shinji KONO on going ...
2017-04-09 Shinji KONO dead end
2017-04-09 Shinji KONO on going ...
2017-04-09 Shinji KONO close
2017-04-09 Shinji KONO give up this approach
2017-04-09 Shinji KONO on going ...
2017-04-09 Shinji KONO equ version on going ...
2017-04-08 Shinji KONO on going ...
2017-04-08 Shinji KONO equalizer approach
2017-04-05 Shinji KONO fix ...
2017-04-05 Shinji KONO close this
2017-04-05 Shinji KONO snmeqeqt
2017-04-05 Shinji KONO fix
2017-04-04 Shinji KONO on going ...
2017-04-04 Shinji KONO on going
2017-04-01 Shinji KONO fix
2017-04-01 Shinji KONO fix
2017-04-01 Shinji KONO fix
2017-03-31 Shinji KONO bad
2017-03-31 Shinji KONO fix
2017-03-30 Shinji KONO on going ...