Mercurial > hg > Members > atton > agda > systemF
graph
-
Try Redefine R. but not proof lemma-R-nWed, 11 Jun 2014 16:41:01 +0900, by Yasutaka Higa
-
Add some lemma for ProdcutTue, 29 Apr 2014 22:27:25 +0900, by Yasutaka Higa
-
Fix R arguments for check speed upTue, 29 Apr 2014 17:28:26 +0900, by Yasutaka Higa
-
Retry define add-r. use R twiceTue, 29 Apr 2014 17:20:06 +0900, by Yasutaka Higa
-
Define Add on IntMon, 28 Apr 2014 11:30:09 +0900, by Yasutaka Higa
-
TreeTue, 22 Apr 2014 11:11:50 +0900, by Yasutaka Higa
-
Define Binary TreeFri, 18 Apr 2014 14:03:54 +0900, by Yasutaka Higa
-
Add comment for lemma-list-nil-consWed, 16 Apr 2014 16:26:25 +0900, by Yasutaka Higa
-
Retry prove lemma-list-nil-cons. but not finished.Tue, 15 Apr 2014 17:42:56 +0900, by Yasutaka Higa
-
Add comments for lemma-list-nil-consTue, 15 Apr 2014 17:20:52 +0900, by Yasutaka Higa
-
Add lemma to ListThu, 10 Apr 2014 16:26:28 +0900, by Yasutaka Higa
-
Define ListThu, 10 Apr 2014 14:29:37 +0900, by Yasutaka Higa
-
Add commentsThu, 10 Apr 2014 13:25:48 +0900, by Yasutaka Higa
-
lemma-RThu, 10 Apr 2014 13:21:13 +0900, by Yasutaka Higa
-
Define RThu, 10 Apr 2014 11:34:43 +0900, by Yasutaka Higa
-
Add comment to gThu, 10 Apr 2014 11:30:37 +0900, by Yasutaka Higa
-
Add lemma for ProductTue, 08 Apr 2014 17:18:00 +0900, by Yasutaka Higa
-
Delete definition global LevelTue, 08 Apr 2014 16:42:52 +0900, by Yasutaka Higa
-
Add lemma-it of Int, but has yellowTue, 08 Apr 2014 16:31:08 +0900, by Yasutaka Higa
-
Delete multiple levels on ProductTue, 08 Apr 2014 15:29:46 +0900, by Yasutaka Higa
-
Add commentTue, 08 Apr 2014 13:34:26 +0900, by Yasutaka Higa
-
g of IntTue, 08 Apr 2014 13:31:25 +0900, by Yasutaka Higa
-
Trying g of Int. but not completedTue, 08 Apr 2014 12:36:49 +0900, by Yasutaka Higa
-
Int ItMon, 07 Apr 2014 11:06:28 +0900, by Yasutaka Higa
-
Add commentsTue, 01 Apr 2014 15:31:29 +0900, by Yasutaka Higa
-
Wrote lemmna-nablaTue, 01 Apr 2014 15:24:12 +0900, by Yasutaka Higa
-
Rewrite Existential by data constructorTue, 01 Apr 2014 15:03:58 +0900, by Yasutaka Higa
-
Rewrote Existential Sigma and < , >. but has yellowTue, 25 Mar 2014 17:20:45 +0900, by Yasutaka Higa
-
Wrote Sigma in ExistionalMon, 24 Mar 2014 20:12:59 +0900, by Yasutaka Higa
-
wrote Sum TypeThu, 20 Mar 2014 17:30:00 +0900, by Yasutaka Higa
-
Ignore agdai file and ~ fileThu, 20 Mar 2014 14:50:35 +0900, by Yasutaka Higa
-
Bool and Product in System FThu, 20 Mar 2014 14:49:33 +0900, by Yasutaka Higa