Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
| age | author | description |
|---|---|---|
| Wed, 09 Nov 2022 05:00:56 +0900 | Shinji KONO | chain is now u≤x again |
| Wed, 09 Nov 2022 03:14:40 +0900 | Shinji KONO | ... csupf is bad |
| Tue, 08 Nov 2022 20:15:46 +0900 | Shinji KONO | is-max on supf b o< supf x and csupf on supf x o< z is better? |
| Tue, 08 Nov 2022 18:29:35 +0900 | Shinji KONO | is-max condition have to be b o< x |
| Tue, 08 Nov 2022 11:26:59 +0900 | Shinji KONO | ... |
| Mon, 07 Nov 2022 22:01:54 +0900 | Shinji KONO | csupf removal? |
| Mon, 07 Nov 2022 17:56:03 +0900 | Shinji KONO | ... |