Mercurial > hg > Members > kono > Proof > ZF-in-agda

log src/filter-util.agda @ 1337:31c9f7fc6466

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | (0) tip
age author description
Sun, 04 Jun 2023 16:58:39 +0900 Shinji KONO remove next
Sat, 03 Jun 2023 17:31:17 +0900 Shinji KONO Replace and filter projection fix done current base src/Tychonoff1.agda@b288f43d26a6
less more | (0) tip