Mercurial > hg > Members > kono > Proof > ZF-in-agda
log filter.agda @ 190:6e778b0a7202
age | author | description |
---|---|---|
Fri, 26 Jul 2019 21:08:06 +0900 | Shinji KONO | add filter |
age | author | description |
---|---|---|
Fri, 26 Jul 2019 21:08:06 +0900 | Shinji KONO | add filter |