log SetsCompleteness.agda @ 878:0793d9adbbdd

age author description
2019-03-08 Shinji KONO fix for 2.5.4.2
2017-11-13 Shinji KONO fix
2017-11-12 Shinji KONO change argument of Limit and K
2017-11-07 Shinji KONO fix Product and pullback
2017-11-04 Shinji KONO two product as in CWM
2017-11-03 Shinji KONO fix limit from product and equalizer (not yet finished )
2017-11-02 Shinji KONO fix completeness
2017-10-30 Shinji KONO fix completeness
2017-10-30 Shinji KONO SetCompleteness done!
2017-10-27 Shinji KONO ...
2017-10-23 Shinji KONO ...
2017-10-22 Shinji KONO ...
2017-10-22 Shinji KONO ...
2017-10-22 Shinji KONO introducd HeterogeneousEquality
2017-06-12 Shinji KONO freyd2
2017-06-08 Shinji KONO fix
2017-06-08 Shinji KONO fix for new agda
2017-06-08 Shinji KONO another snat-cong approach
2017-06-05 Shinji KONO comm2
2017-06-05 Shinji KONO two field again ...
2017-06-05 Shinji KONO makeEqu/makeProd does not woek
2017-06-05 Shinji KONO prove fe=ge in limit-to
2017-06-03 Shinji KONO Set Completeness unfinished
2017-06-02 Shinji KONO fix
2017-06-02 Shinji KONO try two field again
2017-05-24 Shinji KONO on going ...
2017-05-23 Shinji KONO lemma-equ retry
2017-05-23 Shinji KONO dead end
2017-05-22 Shinji KONO fix
2017-05-21 Shinji KONO fix
2017-05-15 Shinji KONO on going ..
2017-05-14 Shinji KONO slid rewrite
2017-05-14 Shinji KONO on going ...
2017-05-14 Shinji KONO dead end
2017-05-12 Shinji KONO fix
2017-05-12 Shinji KONO on going ...
2017-05-11 Shinji KONO on going ..
2017-05-11 Shinji KONO on oging ...
2017-05-11 Shinji KONO cequ introduced
2017-05-03 Shinji KONO anothter approach
2017-05-01 Shinji KONO another approach
2017-04-29 Shinji KONO to case for equ lemma
2017-04-28 Shinji KONO ...
2017-04-28 Shinji KONO one yelllow
2017-04-28 Shinji KONO dead end
2017-04-27 Shinji KONO sproj approach
2017-04-27 Shinji KONO look like dead end
2017-04-25 Shinji KONO ...
2017-04-25 Shinji KONO fix
2017-04-24 Shinji KONO fix
2017-04-24 Shinji KONO fix
2017-04-24 Shinji KONO yelloow remains
2017-04-24 Shinji KONO lemma-equ
2017-04-24 Shinji KONO last one problem in SetCompleteness
2017-04-24 Shinji KONO on going ...
2017-04-24 Shinji KONO on going ...
2017-04-24 Shinji KONO on going ...
2017-04-24 Shinji KONO on ging ...
2017-04-23 Shinji KONO try id equalizer
2017-04-10 Shinji KONO dead end again ...