Mercurial > hg > Members > kono > Proof > category
comparison comparison-em.agda @ 529:18aea9cb0fdb
fix
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 28 Mar 2017 21:36:03 +0900 |
parents | d3cd28a71b3f |
children | a5f2ca67e7c5 |
comparison
equal
deleted
inserted
replaced
528:531547cf3b92 | 529:18aea9cb0fdb |
---|