Mercurial > hg > Members > kono > Proof > category
log
| age | author | description |
|---|---|---|
| Mon, 24 Apr 2017 21:08:57 +0900 | Shinji KONO | fix |
| Mon, 24 Apr 2017 20:44:21 +0900 | Shinji KONO | yelloow remains |
| Mon, 24 Apr 2017 12:17:41 +0900 | Shinji KONO | lemma-equ |
| Mon, 24 Apr 2017 12:01:03 +0900 | Shinji KONO | last one problem in SetCompleteness |
| Mon, 24 Apr 2017 11:48:35 +0900 | Shinji KONO | on going ... |
| Mon, 24 Apr 2017 11:04:14 +0900 | Shinji KONO | on going ... |
| Mon, 24 Apr 2017 10:40:38 +0900 | Shinji KONO | on going ... |
| Mon, 24 Apr 2017 10:18:36 +0900 | Shinji KONO | on ging ... |