Mercurial > hg > Members > kono > Proof > category

log cat-utility.agda @ 525:cb35d6b25559

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | (0) -15 tip
age author description
Sat, 18 Mar 2017 16:15:40 +0900 Shinji KONO IProduct is written in Sets
Tue, 14 Mar 2017 13:08:03 +0900 Shinji KONO fryed1 done
Mon, 13 Mar 2017 13:22:40 +0900 Shinji KONO on going..
Sun, 12 Mar 2017 19:46:07 +0900 Shinji KONO found limit in freyd
Sat, 11 Mar 2017 16:38:08 +0900 Shinji KONO fix Limit pu a0 and t0 in record definition
Mon, 06 Mar 2017 15:45:51 +0900 Shinji KONO discrete category and product from a limit
Fri, 03 Mar 2017 12:12:06 +0900 Shinji KONO limit-to done
Thu, 02 Mar 2017 17:41:20 +0900 Shinji KONO limit with nat
Sun, 04 Sep 2016 21:05:39 +0900 Shinji KONO fix IsEqualizer
Tue, 30 Aug 2016 14:22:47 +0900 Shinji KONO fix limit
Wed, 24 Dec 2014 12:00:16 +0900 Shinji KONO try equalizer from limit
Sun, 05 Jan 2014 23:37:12 +0900 Shinji KONO is this right direction?
Sun, 29 Sep 2013 14:01:07 +0900 Shinji KONO arrow and lambda fix
Sun, 22 Sep 2013 18:05:09 +0900 Shinji KONO co universal mapping
Sun, 22 Sep 2013 11:08:41 +0900 Shinji KONO add limit
less more | (0) -15 tip