log category-ex.agda @ 878:0793d9adbbdd

age author description
2013-08-17 Shinji KONO sync