log

age author description
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 ...
2017-03-30 Shinji KONO fix
2017-03-30 Shinji KONO locally small
2017-03-30 Shinji KONO fix
2017-03-30 Shinji KONO add iso1
2017-03-30 Shinji KONO on going ....
2017-03-29 Shinji KONO introducing snat
2017-03-29 Shinji KONO use sequ
2017-03-29 Shinji KONO equalizer does not fit
2017-03-28 Shinji KONO on going ...
2017-03-28 Shinji KONO on going ...
2017-03-28 Shinji KONO fix
2017-03-28 Shinji KONO fix
2017-03-28 Shinji KONO fix ...
2017-03-28 Shinji KONO Small Category for Sets Limit
2017-03-27 Shinji KONO on going ...
2017-03-26 Shinji KONO on going ..
2017-03-26 Shinji KONO fix
2017-03-26 Shinji KONO Equalizer in Sets done
2017-03-22 Shinji KONO only yellow remains in uniquness
2017-03-22 Shinji KONO k-cong done
2017-03-21 Shinji KONO try hom equality in uniquness
2017-03-21 Shinji KONO fix
2017-03-21 Shinji KONO on going ..