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) -15 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
less more | rev 32: (0) -15 tip