Mercurial > hg > Members > kono > Proof > automaton
log
age | author | description |
---|---|---|
2019-11-20 | Shinji KONO | ... |
2019-11-20 | Shinji KONO | fin-∨' almost finished |
2019-11-19 | Shinji KONO | ... |
2019-11-19 | Shinji KONO | ... |
2019-11-18 | Shinji KONO | ... |
2019-11-18 | Shinji KONO | finite-or |
2019-11-18 | Shinji KONO | ... |
2019-11-18 | Shinji KONO | finite |
2019-11-18 | Shinji KONO | finite |
2019-11-17 | Shinji KONO | clean up |
2019-11-17 | Shinji KONO | closed-in-concat← done |
2019-11-17 | Shinji KONO | case1 done |
2019-11-17 | Shinji KONO | ... |
2019-11-16 | Shinji KONO | ab-case |
2019-11-15 | Shinji KONO | ... state-A is not necessary? |