Mercurial > hg > Members > kono > Proof > category
comparison record-ex.agda @ 502:01a0dda67a8b
on going ..
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Thu, 16 Mar 2017 21:43:10 +0900 |
parents | 0d7fa6fc5979 |
children |
comparison
equal
deleted
inserted
replaced
501:61daa68a70c4 | 502:01a0dda67a8b |
---|