Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
Sun, 06 Mar 2016 00:23:35 +0900 | Shinji KONO | simplify |
Sat, 05 Mar 2016 23:56:17 +0900 | Shinji KONO | add more parameter to nat in lim-to-equ |
Sat, 05 Mar 2016 16:08:32 +0900 | Shinji KONO | limit-to dead end... |