log ZF.agda-lib @ 982:6d29911a9d00

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