Mercurial > hg > Members > kono > Proof > category
diff comparison-em.agda @ 577:de530823f80b
dead end
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Fri, 28 Apr 2017 17:13:29 +0900 |
parents | d3cd28a71b3f |
children | a5f2ca67e7c5 |
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Fri, 28 Apr 2017 17:13:29 +0900 |
parents | d3cd28a71b3f |
children | a5f2ca67e7c5 |