Index of /code.haskell.org/Agda/examples/outdated-and-incorrect/AIM6/Cat/lib/Logic/

../
Structure/                                         15-Feb-2019 15:22                   -
Base.agda                                          15-Feb-2019 15:22                 812
ChainReasoning.agda                                15-Feb-2019 15:22                1992
Congruence.agda                                    15-Feb-2019 15:22                1362
Equivalence.agda                                   15-Feb-2019 15:22                 231
Identity.agda                                      15-Feb-2019 15:22                 919
Leibniz.agda                                       15-Feb-2019 15:22                 505
Operations.agda                                    15-Feb-2019 15:22                1196
Relations.agda                                     15-Feb-2019 15:22                1041