Mercurial > hg > Members > kono > Proof > category
log
| age | author | description |
|---|---|---|
| Sat, 11 Apr 2020 09:49:37 +0900 | Shinji KONO | ... |
| Fri, 10 Apr 2020 23:07:00 +0900 | Shinji KONO | ... |
| Fri, 10 Apr 2020 09:21:54 +0900 | Shinji KONO | o-resp remains |
| Thu, 09 Apr 2020 20:00:23 +0900 | Shinji KONO | ... |
| Thu, 09 Apr 2020 19:38:05 +0900 | Shinji KONO | dead end |
| Thu, 09 Apr 2020 18:12:33 +0900 | Shinji KONO | SC |
| Thu, 09 Apr 2020 09:47:00 +0900 | Shinji KONO | join |
| Thu, 09 Apr 2020 07:54:18 +0900 | Shinji KONO | decidablity of < f , g > is required |