Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
| age | author | description |
|---|---|---|
| Mon, 10 Jun 2019 00:29:20 +0900 | Shinji KONO | ... |
| Sun, 09 Jun 2019 19:41:53 +0900 | Shinji KONO | power set using sup on Def |
| Sat, 08 Jun 2019 22:17:40 +0900 | Shinji KONO | Power Set and L |
| Sat, 08 Jun 2019 17:33:09 +0900 | Shinji KONO | clean up |
| Sat, 08 Jun 2019 13:18:10 +0900 | Shinji KONO | ... |
| Thu, 06 Jun 2019 09:36:41 +0900 | Shinji KONO | replacement |
| Wed, 05 Jun 2019 18:24:40 +0900 | Shinji KONO | Added tag current for changeset b4742cf4ef97 |
| Wed, 05 Jun 2019 18:24:32 +0900 | Shinji KONO | infinity axiom done |