Mercurial > hg > Members > kono > Proof > category
log
age | author | description |
---|---|---|
Mon, 02 Sep 2013 16:54:02 +0900 | Shinji KONO | Equalizer problems have written |
Mon, 02 Sep 2013 00:12:32 +0900 | Shinji KONO | on going |
Sun, 01 Sep 2013 22:10:39 +0900 | Shinji KONO | equalizer |
Sun, 01 Sep 2013 16:14:08 +0900 | Shinji KONO | embedding done? |
Sun, 01 Sep 2013 15:21:53 +0900 | Shinji KONO | on going ... |
Sun, 01 Sep 2013 13:26:30 +0900 | Shinji KONO | remove an extensionality |
Sat, 31 Aug 2013 12:53:35 +0900 | Shinji KONO | fix |