Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
| age | author | description |
|---|---|---|
| Wed, 05 Jun 2019 07:05:48 +0900 | Shinji KONO | split omax? |
| Wed, 05 Jun 2019 03:21:47 +0900 | Shinji KONO | internal error |
| Wed, 05 Jun 2019 02:58:17 +0900 | Shinji KONO | omax-induction does not work |
| Tue, 04 Jun 2019 23:58:58 +0900 | Shinji KONO | omax .. |
| Tue, 04 Jun 2019 12:28:43 +0900 | Shinji KONO | ... |
| Tue, 04 Jun 2019 09:22:45 +0900 | Shinji KONO | Union (x , y) == (x , y ) only true on infinite case |
| Tue, 04 Jun 2019 01:05:33 +0900 | Shinji KONO | simpler ordinal |