log ZF.agda-lib @ 736:3c3e3a1291bb

age author description
Mon, 21 Dec 2020 10:23:37 +0900 Shinji KONO reorganiztion for apkg