Mercurial > hg > Members > kono > Proof > category
comparison system-t.agda @ 748:a83145326258
yellow on idrĪ
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Sun, 10 Dec 2017 14:30:11 +0900 |
parents | af321e38ecee |
children |
comparison
equal
deleted
inserted
replaced
747:37bffde965b3 | 748:a83145326258 |
---|