log ZF.agda-lib @ 512:7cf24b846920

age author description
2020-12-21 Shinji KONO reorganiztion for apkg