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?