Mercurial > hg > Members > kono > Proof > automaton
log agda/derive.agda @ 84:29d81bcff049
age | author | description |
---|---|---|
2018-12-22 | Shinji KONO | fix derive |
2018-12-22 | Shinji KONO | seprate finite |
2018-11-28 | Shinji KONO | add cfg and derive |
age | author | description |
---|---|---|
2018-12-22 | Shinji KONO | fix derive |
2018-12-22 | Shinji KONO | seprate finite |
2018-11-28 | Shinji KONO | add cfg and derive |