Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
age | author | description |
---|---|---|
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 |