log automaton-in-agda/src/sbconst2.agda @ 392:23db567b4098

age author description
2023-03-12 Shinji KONO fix
2021-11-25 Shinji KONO fix concat dfa
2021-06-13 Shinji KONO fix base automaton-in-agda/src/agda/sbconst2.agda@04d97cd40c63