log

age author description
Wed, 08 Nov 2017 00:05:50 +0900 Shinji KONO clean up
Tue, 07 Nov 2017 23:48:46 +0900 Shinji KONO clean up of pullback
Tue, 07 Nov 2017 17:12:08 +0900 Shinji KONO fix Product and pullback
Mon, 06 Nov 2017 10:10:55 +0900 Shinji KONO fh=gh done. limit from product and equalizer done
Sun, 05 Nov 2017 16:33:37 +0900 Shinji KONO ...
Sun, 05 Nov 2017 13:22:59 +0900 Shinji KONO extensionality remains
Sat, 04 Nov 2017 15:49:26 +0900 Shinji KONO Product of Arrow is necessary ...
Sat, 04 Nov 2017 11:49:45 +0900 Shinji KONO two product as in CWM