Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
age | author | description |
---|---|---|
2022-12-17 | Shinji KONO | Zorn done |
2022-12-17 | Shinji KONO | done? |
2022-12-17 | Shinji KONO | 0< is no good |
2022-12-16 | Shinji KONO | strange bug of agda |
2022-12-16 | Shinji KONO | ... |
2022-12-16 | Shinji KONO | order done |
2022-12-16 | Shinji KONO | ... |
2022-12-16 | Shinji KONO | ... |
2022-12-16 | Shinji KONO | is-minsup done |
2022-12-15 | Shinji KONO | ... |
2022-12-14 | Shinji KONO | ... |
2022-12-14 | Shinji KONO | ... |
2022-12-14 | Shinji KONO | supf-mono done |
2022-12-13 | Shinji KONO | ... |
2022-12-13 | Shinji KONO | ... |
2022-12-13 | Shinji KONO | ... |
2022-12-12 | Shinji KONO | add 0<supfz |
2022-12-12 | Shinji KONO | ic case |
2022-12-12 | Shinji KONO | ... |
2022-12-12 | Shinji KONO | equal case |
2022-12-12 | Shinji KONO | ... |
2022-12-11 | Shinji KONO | ... |
2022-12-11 | Shinji KONO | ... |
2022-12-11 | Shinji KONO | another IChain |
2022-12-10 | Shinji KONO | IChain? |
2022-12-10 | Shinji KONO | ... |
2022-12-10 | Shinji KONO | ... |
2022-12-09 | Shinji KONO | lim |
2022-12-09 | Shinji KONO | sup=u ONDE |
2022-12-09 | Shinji KONO | order (px case) done |
2022-12-09 | Shinji KONO | ... |
2022-12-09 | Shinji KONO | order connected |
2022-12-09 | Shinji KONO | ... |
2022-12-09 | Shinji KONO | ... bad |
2022-12-07 | Shinji KONO | ... |
2022-12-07 | Shinji KONO | ... |
2022-12-07 | Shinji KONO | ... |
2022-12-07 | Shinji KONO | ... |
2022-12-05 | Shinji KONO | ... |
2022-12-04 | Shinji KONO | is-minsup in px case done |
2022-12-04 | Shinji KONO | ... |
2022-12-04 | Shinji KONO | ... |
2022-12-04 | Shinji KONO | pxhainx conditon is requied? |
2022-12-03 | Shinji KONO | ... |
2022-12-03 | Shinji KONO | ... |
2022-12-03 | Shinji KONO | ... |
2022-12-02 | Shinji KONO | mf< everywhere |
2022-12-02 | Shinji KONO | ... |
2022-12-02 | Shinji KONO | ... |
2022-12-02 | Shinji KONO | ... |
2022-12-01 | Shinji KONO | ... |
2022-12-01 | Shinji KONO | ch-init again, because ch-is-sup require u<x which is not valid supf o∅ |
2022-11-30 | Shinji KONO | minsup is not obvious in ZChain |
2022-11-30 | Shinji KONO | ... |
2022-11-28 | Shinji KONO | ... |
2022-11-27 | Shinji KONO | ChainP removal |
2022-11-27 | Shinji KONO | ... |
2022-11-26 | Shinji KONO | ... |
2022-11-25 | Shinji KONO | ... |
2022-11-25 | Shinji KONO | ... |