Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
age | author | description |
---|---|---|
2019-07-07 | Shinji KONO | remove otrans again. start over |
2019-07-07 | Shinji KONO | dead end? |
2019-07-07 | Shinji KONO | ... |
2019-07-06 | Shinji KONO | replace using Select |
2019-07-06 | Shinji KONO | ... should use Select in Replace |
2019-07-06 | Shinji KONO | otrans in repl |
2019-07-06 | Shinji KONO | replacement in HOD |
2019-07-06 | Shinji KONO | replacement in ordinal-definable |
2019-07-06 | Shinji KONO | use OD for replace condition |
2019-07-02 | Shinji KONO | ... |
2019-07-02 | Shinji KONO | new replacement axiom |
2019-07-02 | Shinji KONO | ord power set |
2019-07-01 | Shinji KONO | ... dead end? |
2019-07-01 | Shinji KONO | ... |
2019-06-30 | Shinji KONO | power set |
2019-06-30 | Shinji KONO | ... |
2019-06-30 | Shinji KONO | record L |
2019-06-30 | Shinji KONO | ... |
2019-06-30 | Shinji KONO | ... |
2019-06-27 | Shinji KONO | ... |
2019-06-26 | Shinji KONO | inifinite done |
2019-06-26 | Shinji KONO | infinite |
2019-06-26 | Shinji KONO | Union done |
2019-06-25 | Shinji KONO | minimum assuption |
2019-06-25 | Shinji KONO | axiom of selection |
2019-06-25 | Shinji KONO | Select declaration |
2019-06-25 | Shinji KONO | f x d |
2019-06-25 | Shinji KONO | ... |
2019-06-24 | Shinji KONO | HOD |
2019-06-20 | Shinji KONO | ... |
2019-06-18 | Shinji KONO | dead end |
2019-06-18 | Shinji KONO | remove o<→c< and add otrans in OD |
2019-06-18 | Shinji KONO | dead end? |
2019-06-16 | Shinji KONO | add assumption |
2019-06-16 | Shinji KONO | add Ord Ordinal order preserving map |
2019-06-16 | Shinji KONO | power set |
2019-06-15 | Shinji KONO | ... |
2019-06-12 | Shinji KONO | starting over HOD |
2019-06-10 | Shinji KONO | ZF Set Theory in Agda release |
2019-06-10 | Shinji KONO | Added tag current for changeset a402881cc341 |
2019-06-10 | Shinji KONO | add comment |
2019-06-10 | Shinji KONO | Power Set done with min-sup assumption |
2019-06-09 | Shinji KONO | ... |
2019-06-09 | Shinji KONO | power set using sup on Def |
2019-06-08 | Shinji KONO | Power Set and L |
2019-06-08 | Shinji KONO | clean up |
2019-06-08 | Shinji KONO | ... |
2019-06-06 | Shinji KONO | replacement |
2019-06-05 | Shinji KONO | Added tag current for changeset b4742cf4ef97 |
2019-06-05 | Shinji KONO | infinity axiom done |
2019-06-05 | Shinji KONO | def ord conversion |
2019-06-05 | Shinji KONO | ... |
2019-06-05 | Shinji KONO | osuc work around done |
2019-06-04 | Shinji KONO | split omax? |
2019-06-04 | Shinji KONO | internal error |
2019-06-04 | Shinji KONO | omax-induction does not work |
2019-06-04 | Shinji KONO | omax .. |
2019-06-04 | Shinji KONO | ... |
2019-06-04 | Shinji KONO | Union (x , y) == (x , y ) only true on infinite case |
2019-06-03 | Shinji KONO | simpler ordinal |