Mercurial > hg > Members > kono > Proof > category

comparison CatExponetial.agda @ 246:80d9ef47566b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
cong-γ1 done, cong-δ1 remains
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 09 Sep 2013 12:35:56 +0900
parents eb935f04bf39
children b1b728559d89
comparison
equal deleted inserted replaced
245:0d1f7bbea9bc 246:80d9ef47566b