Mercurial > hg > Members > kono > Proof > ZF-in-agda
comparison LICENSE @ 104:d92411bed18c
...
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Sun, 16 Jun 2019 02:06:09 +0900 |
parents | c8b79d303867 |
children |
comparison
equal
deleted
inserted
replaced
103:c8b79d303867 | 104:d92411bed18c |
---|