Mercurial > hg > Members > kono > Proof > category

log universal-mapping.agda @ 185:173d078ee443

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | (0) -15 tip
age author description
Sun, 25 Aug 2013 11:10:35 +0900 Shinji KONO comment
Sun, 25 Aug 2013 09:44:00 +0900 Shinji KONO hom set adjunction done.
Sat, 24 Aug 2013 22:14:29 +0900 Shinji KONO hom-set to universal mapping done.
Sat, 24 Aug 2013 17:16:07 +0900 Shinji KONO add more axiom on unity of oppsite
Fri, 23 Aug 2013 17:30:04 +0900 Shinji KONO hmmmm
Fri, 23 Aug 2013 15:38:03 +0900 Shinji KONO hmm
Fri, 23 Aug 2013 10:11:58 +0900 Shinji KONO unity of oppsite
Mon, 19 Aug 2013 04:42:06 +0900 Shinji KONO mmmm
Thu, 08 Aug 2013 22:05:41 +0900 Shinji KONO remove Kleisli record
Thu, 25 Jul 2013 12:58:21 +0900 Shinji KONO distr
Wed, 24 Jul 2013 20:47:28 +0900 Shinji KONO add unitility
Tue, 23 Jul 2013 17:34:46 +0900 Shinji KONO Adjoint proved. All done.
Tue, 23 Jul 2013 16:49:12 +0900 Shinji KONO cleanup
Tue, 23 Jul 2013 16:36:31 +0900 Shinji KONO start adjunction
Tue, 23 Jul 2013 16:18:21 +0900 Shinji KONO nat-ε proved
less more | (0) -15 tip