log automaton-in-agda/src/flcagl.agda @ 332:6f3636fbc481

age author description
2021-11-17 Shinji KONO ...
2021-06-13 Shinji KONO fix base automaton-in-agda/src/agda/flcagl.agda@6d84b2c42f40