Mercurial > hg > Members > kono > Proof > galois
log
age | author | description |
---|---|---|
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 | ... |