log sym5n.agda @ 189:d0b678eec506

age author description
2020-11-26 Shinji KONO ... base sym4.agda@334c0614aa10