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 ...