Mercurial > hg > Members > atton > agda > systemF

log

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | rev 32: (0) -30 tip
age author description
Wed, 11 Jun 2014 16:47:20 +0900 Yasutaka Higa Define not in SystemT default tip
Wed, 11 Jun 2014 16:41:01 +0900 Yasutaka Higa Try Redefine R. but not proof lemma-R-n
Tue, 29 Apr 2014 22:27:25 +0900 Yasutaka Higa Add some lemma for Prodcut
Tue, 29 Apr 2014 17:28:26 +0900 Yasutaka Higa Fix R arguments for check speed up
Tue, 29 Apr 2014 17:20:06 +0900 Yasutaka Higa Retry define add-r. use R twice
Mon, 28 Apr 2014 11:30:09 +0900 Yasutaka Higa Define Add on Int
Tue, 22 Apr 2014 11:11:50 +0900 Yasutaka Higa Tree
Fri, 18 Apr 2014 14:03:54 +0900 Yasutaka Higa Define Binary Tree
Wed, 16 Apr 2014 16:26:25 +0900 Yasutaka Higa Add comment for lemma-list-nil-cons
Tue, 15 Apr 2014 17:42:56 +0900 Yasutaka Higa Retry prove lemma-list-nil-cons. but not finished.
Tue, 15 Apr 2014 17:20:52 +0900 Yasutaka Higa Add comments for lemma-list-nil-cons
Thu, 10 Apr 2014 16:26:28 +0900 Yasutaka Higa Add lemma to List
Thu, 10 Apr 2014 14:29:37 +0900 Yasutaka Higa Define List
Thu, 10 Apr 2014 13:25:48 +0900 Yasutaka Higa Add comments
Thu, 10 Apr 2014 13:21:13 +0900 Yasutaka Higa lemma-R
Thu, 10 Apr 2014 11:34:43 +0900 Yasutaka Higa Define R
Thu, 10 Apr 2014 11:30:37 +0900 Yasutaka Higa Add comment to g
Tue, 08 Apr 2014 17:18:00 +0900 Yasutaka Higa Add lemma for Product
Tue, 08 Apr 2014 16:42:52 +0900 Yasutaka Higa Delete definition global Level
Tue, 08 Apr 2014 16:31:08 +0900 Yasutaka Higa Add lemma-it of Int, but has yellow
Tue, 08 Apr 2014 15:29:46 +0900 Yasutaka Higa Delete multiple levels on Product
Tue, 08 Apr 2014 13:34:26 +0900 Yasutaka Higa Add comment
Tue, 08 Apr 2014 13:31:25 +0900 Yasutaka Higa g of Int
Tue, 08 Apr 2014 12:36:49 +0900 Yasutaka Higa Trying g of Int. but not completed
Mon, 07 Apr 2014 11:06:28 +0900 Yasutaka Higa Int It
Tue, 01 Apr 2014 15:31:29 +0900 Yasutaka Higa Add comments
Tue, 01 Apr 2014 15:24:12 +0900 Yasutaka Higa Wrote lemmna-nabla
Tue, 01 Apr 2014 15:03:58 +0900 Yasutaka Higa Rewrite Existential by data constructor
Tue, 25 Mar 2014 17:20:45 +0900 Yasutaka Higa Rewrote Existential Sigma and < , >. but has yellow
Mon, 24 Mar 2014 20:12:59 +0900 Yasutaka Higa Wrote Sigma in Existional
less more | rev 32: (0) -30 tip