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