Mercurial > hg > Members > kono > Proof > automaton
log a06/lecture.ind @ 238:3aad251b8d8b
age | author | description |
---|---|---|
Sun, 27 Dec 2020 13:26:44 +0900 | Shinji KONO | clean up |
Fri, 05 Apr 2019 16:13:44 +0900 | Shinji KONO | add coinduction |
Wed, 05 Dec 2018 16:17:28 +0900 | Shinji KONO | fix |