Mercurial > hg > Members > kono > Proof > category
diff limit-to.agda @ 706:dad072d52d0e
fix
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Wed, 22 Nov 2017 12:49:17 +0900 |
parents | 917e51be9bbf |
children | 06388660995b |
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Wed, 22 Nov 2017 12:49:17 +0900 |
parents | 917e51be9bbf |
children | 06388660995b |