Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
Sun, 06 Mar 2016 02:05:50 +0900 | Shinji KONO | add more lemma in limit-to |
Sun, 06 Mar 2016 01:56:32 +0900 | Shinji KONO | limit-to nat will be done |
Sun, 06 Mar 2016 01:05:03 +0900 | Shinji KONO | fix |