Mercurial > hg > Members > kono > Proof > ZF-in-agda
comparison src/NSet.agda @ 1106:3b894bbefe92
...
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Sat, 31 Dec 2022 00:28:24 +0900 |
parents | 40345abc0949 |
children | ca5bfb401ada |
comparison
equal
deleted
inserted
replaced
1105:fabcb7d9f50c | 1106:3b894bbefe92 |
---|