Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
age | author | description |
---|---|---|
Mon, 13 May 2019 20:51:45 +0900 | Shinji KONO | ... |
Mon, 13 May 2019 18:25:38 +0900 | Shinji KONO | add constructible set |
age | author | description |
---|---|---|
Mon, 13 May 2019 20:51:45 +0900 | Shinji KONO | ... |
Mon, 13 May 2019 18:25:38 +0900 | Shinji KONO | add constructible set |