log LEMC.agda @ 280:a2991ce14ced

age author description
Sat, 09 May 2020 17:35:56 +0900 Shinji KONO ...
Sat, 09 May 2020 16:41:40 +0900 Shinji KONO ...
Sat, 09 May 2020 09:38:21 +0900 Shinji KONO seperate choice from LEM base ODC.agda@ab95e59bd7eb