Mercurial > hg > Members > kono > Proof > category

log

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | rev 159: (0) -100 -14 +14 +100 +300 tip
age author description
Mon, 19 Aug 2013 04:42:06 +0900 Shinji KONO mmmm
Mon, 19 Aug 2013 00:19:25 +0900 Shinji KONO um
Sun, 18 Aug 2013 22:30:30 +0900 Shinji KONO solution of universal mapping for free monoid
Sun, 18 Aug 2013 22:17:46 +0900 Shinji KONO list is monoid now.
Sun, 18 Aug 2013 21:30:00 +0900 Shinji KONO Monoids done.
Sun, 18 Aug 2013 19:55:05 +0900 Shinji KONO on going
Sat, 17 Aug 2013 21:09:34 +0900 Shinji KONO sync
Sat, 17 Aug 2013 21:08:33 +0900 Shinji KONO fix
Sat, 17 Aug 2013 20:59:31 +0900 Shinji KONO fix
Thu, 15 Aug 2013 12:32:48 +0900 Shinji KONO clean up
Thu, 15 Aug 2013 12:04:50 +0900 Shinji KONO clean up
Thu, 15 Aug 2013 11:45:24 +0900 Shinji KONO no yellow on monoid monad
Thu, 15 Aug 2013 04:46:22 +0900 Shinji KONO add comment
Thu, 15 Aug 2013 03:34:00 +0900 Shinji KONO assuing ∀{x : Carrier Mono } {f g : Carrier Mono -> Carrier Mono } -> (f x ≡ g x) -> ( f ≡ g )
less more | rev 159: (0) -100 -14 +14 +100 +300 tip