Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
| age | author | description |
|---|---|---|
| Sun, 02 Jun 2019 10:53:52 +0900 | Shinji KONO | Union done |
| Sat, 01 Jun 2019 19:19:40 +0900 | Shinji KONO | ordinal atomical successor? |
| Sat, 01 Jun 2019 18:17:24 +0900 | Shinji KONO | fix ordinal |
| Sat, 01 Jun 2019 14:43:05 +0900 | Shinji KONO | ... |
| Sat, 01 Jun 2019 10:23:53 +0900 | Shinji KONO | add osuc ( next larger element of Ordinal ) |
| Sat, 01 Jun 2019 10:01:38 +0900 | Shinji KONO | Union needs +1 space |
| Fri, 31 May 2019 22:30:23 +0900 | Shinji KONO | union continue |