Mercurial > hg > Members > kono > Proof > ZF-in-agda
comparison src/ODC.agda @ 942:d396af76c559
...
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Sat, 29 Oct 2022 17:26:17 +0900 |
parents | 105f8d6c51fb |
children | 55ab5de1ae02 |
comparison
equal
deleted
inserted
replaced
941:6f342473f298 | 942:d396af76c559 |
---|