Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
age | author | description |
---|---|---|
Thu, 01 Aug 2019 00:13:07 +0900 | Shinji KONO | try again .. |
Wed, 31 Jul 2019 17:48:08 +0900 | Shinji KONO | ... |
age | author | description |
---|---|---|
Thu, 01 Aug 2019 00:13:07 +0900 | Shinji KONO | try again .. |
Wed, 31 Jul 2019 17:48:08 +0900 | Shinji KONO | ... |