Mercurial > hg > Members > kono > Proof > category
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 .. |