Mercurial > hg > Members > kono > Proof > galois
log
age | author | description |
---|---|---|
2022-05-29 | Shinji KONO | ... |
2022-05-29 | Shinji KONO | fundamental theorem on homomorphisms |
2021-01-09 | Shinji KONO | fix |
2021-01-09 | Shinji KONO | library |
2020-12-14 | Shinji KONO | sym5n |
2020-12-13 | Shinji KONO | getArgs worked |
2020-12-12 | Shinji KONO | ... |
2020-12-12 | Shinji KONO | compile |
2020-12-10 | Shinji KONO | Added tag current for changeset 3b7be8bfc72e |
2020-12-10 | Shinji KONO | clean up |
2020-12-10 | Shinji KONO | remove anyFL0 |
2020-12-10 | Shinji KONO | slightly better |
2020-12-10 | Shinji KONO | AnyFL from AnyFin and anyComm |
2020-12-10 | Shinji KONO | irr |
2020-12-10 | Shinji KONO | ... |
2020-12-10 | Shinji KONO | ... |
2020-12-10 | Shinji KONO | ... |
2020-12-09 | Shinji KONO | Added tag current for changeset 2b7b343616af |
2020-12-09 | Shinji KONO | all done |
2020-12-09 | Shinji KONO | anyFL done |
2020-12-09 | Shinji KONO | ... |
2020-12-09 | Shinji KONO | ... |
2020-12-09 | Shinji KONO | ... |
2020-12-09 | Shinji KONO | ... |
2020-12-08 | Shinji KONO | allListF |
2020-12-08 | Shinji KONO | ... |
2020-12-08 | Shinji KONO | ... |
2020-12-08 | Shinji KONO | allListFL |
2020-12-08 | Shinji KONO | ... |
2020-12-08 | Shinji KONO | ... |
2020-12-08 | Shinji KONO | fpq |
2020-12-08 | Shinji KONO | anyComm done |
2020-12-08 | Shinji KONO | ... |
2020-12-08 | Shinji KONO | restart anyComm |
2020-12-07 | Shinji KONO | ... |
2020-12-07 | Shinji KONO | ... |
2020-12-06 | Shinji KONO | fix to ≡_ in Any |
2020-12-06 | Shinji KONO | P Q |
2020-12-06 | Shinji KONO | section? |
2020-12-06 | Shinji KONO | ... |
2020-12-06 | Shinji KONO | ... |
2020-12-06 | Shinji KONO | ... |
2020-12-05 | Shinji KONO | restart anyComm |
2020-12-05 | Shinji KONO | Q Q1 |
2020-12-05 | Shinji KONO | ... |
2020-12-05 | Shinji KONO | ... |
2020-12-05 | Shinji KONO | ... |
2020-12-05 | Shinji KONO | anyComm |
2020-12-05 | Shinji KONO | ... |
2020-12-04 | Shinji KONO | ... |
2020-12-04 | Shinji KONO | ... |
2020-12-02 | Shinji KONO | ... |
2020-12-02 | Shinji KONO | ... |
2020-12-02 | Shinji KONO | ... |
2020-12-02 | Shinji KONO | commutativity of Any _ (tl2 L4 L1 L2) and Any _ (tl2 L4 L1 (tl3 a L L2)) |
2020-12-01 | Shinji KONO | ... |
2020-12-01 | Shinji KONO | ... |
2020-11-30 | Shinji KONO | comm8 |
2020-11-30 | Shinji KONO | TERMINATING AnyFList |
2020-11-30 | Shinji KONO | ... |
2020-11-29 | Shinji KONO | insAny |
2020-11-29 | Shinji KONO | ... |
2020-11-29 | Shinji KONO | ... |
2020-11-29 | Shinji KONO | ... |
2020-11-29 | Shinji KONO | ... |
2020-11-29 | Shinji KONO | ... |
2020-11-29 | Shinji KONO | ... |
2020-11-28 | Shinji KONO | ... |
2020-11-28 | Shinji KONO | ... |
2020-11-28 | Shinji KONO | ... |
2020-11-28 | Shinji KONO | ... |
2020-11-28 | Shinji KONO | remove gen/uni from Commutator |
2020-11-27 | Shinji KONO | ... |
2020-11-26 | Shinji KONO | ... |
2020-11-26 | Shinji KONO | ... |
2020-11-26 | Shinji KONO | Added tag fresh-list for changeset eb94265d2a39 |
2020-11-26 | Shinji KONO | Any based proof computation done fresh-list |
2020-11-25 | Shinji KONO | ... almost ... |
2020-11-25 | Shinji KONO | ... |
2020-11-25 | Shinji KONO | ... |
2020-11-25 | Shinji KONO | dead end |
2020-11-25 | Shinji KONO | ... |
2020-11-24 | Shinji KONO | ∀Flist non terminating |
2020-11-24 | Shinji KONO | ... |
2020-11-24 | Shinji KONO | ... |
2020-11-24 | Shinji KONO | ... |
2020-11-23 | Shinji KONO | AnyFList |
2020-11-23 | Shinji KONO | ... on going |
2020-11-23 | Shinji KONO | ... ? |
2020-11-23 | Shinji KONO | ... ? |
2020-11-23 | Shinji KONO | ... |
2020-11-23 | Shinji KONO | close this |
2020-11-23 | Shinji KONO | ... |
2020-11-22 | Shinji KONO | should be a = a' |
2020-11-22 | Shinji KONO | ... |
2020-11-22 | Shinji KONO | ... |
2020-11-22 | Shinji KONO | ... |
2020-11-22 | Shinji KONO | sized fresh list |
2020-09-20 | Shinji KONO | ... |
2020-09-20 | Shinji KONO | ... |
2020-09-18 | Shinji KONO | ... |
2020-09-18 | Shinji KONO | ... |
2020-09-18 | Shinji KONO | ... |
2020-09-15 | Shinji KONO | ... |
2020-09-15 | Shinji KONO | ... |
2020-09-14 | Shinji KONO | FLinsert-mb |
2020-09-13 | Shinji KONO | ... |
2020-09-13 | Shinji KONO | FLutil |
2020-09-13 | Shinji KONO | FLinsert done |
2020-09-12 | Shinji KONO | ... |
2020-09-12 | Shinji KONO | ... |
2020-09-12 | Shinji KONO | ... |
2020-09-12 | Shinji KONO | ... |
2020-09-11 | Shinji KONO | ... |
2020-09-11 | Shinji KONO | ... |
2020-09-11 | Shinji KONO | ... |
2020-09-10 | Shinji KONO | ... |
2020-09-10 | Shinji KONO | ... |
2020-09-09 | Shinji KONO | ... |
2020-09-09 | Shinji KONO | ... |