Index of /debian/acl2/acl2-8.3dfsg/books/finite-set-theory/

../
README                                             16-Apr-2020 14:22                 205
set-theory.acl2                                    16-Apr-2020 14:22                 834
set-theory.lisp                                    16-Apr-2020 14:22              103534
total-ordering.lisp                                16-Apr-2020 14:22                8680