data/aac-tactics-8.11.0/src/theory.ml:                                     Mathematica 3.0 notebook
data/aac-tactics-8.11.0/src/aac_rewrite.mli:                               Mathematica 3.0 notebook
data/aac-tactics-8.11.0/src/search_monad.mli:                              Mathematica 3.0 notebook
data/aac-tactics-8.11.0/src/aac_rewrite.ml:                                Mathematica 3.0 notebook
data/aac-tactics-8.11.0/src/matcher.mli:                                   Mathematica 3.0 notebook
data/aac-tactics-8.11.0/src/theory.mli:                                    Mathematica 3.0 notebook
data/aac-tactics-8.11.0/src/matcher.ml:                                    Mathematica 3.0 notebook
data/aac-tactics-8.11.0/src/search_monad.ml:                               Mathematica 3.0 notebook
data/aac-tactics-8.11.0/src/aac.mlg:                                       Mathematica 3.0 notebook
data/aac-tactics-8.11.0/src/coq.ml:                                        Mathematica 3.0 notebook
data/aac-tactics-8.11.0/src/coq.mli:                                       Mathematica 3.0 notebook
data/aac-tactics-8.11.0/src/dune:                                          ASCII text
data/aac-tactics-8.11.0/src/print.ml:                                      Mathematica 3.0 notebook
data/aac-tactics-8.11.0/src/helper.ml:                                     Mathematica 3.0 notebook
data/aac-tactics-8.11.0/src/print.mli:                                     Mathematica 3.0 notebook
data/aac-tactics-8.11.0/src/aac_plugin.mlpack:                             ASCII text
data/aac-tactics-8.11.0/src/helper.mli:                                    Mathematica 3.0 notebook
data/aac-tactics-8.11.0/meta.yml:                                          ASCII text
data/aac-tactics-8.11.0/Makefile:                                          makefile script, ASCII text
data/aac-tactics-8.11.0/README.md:                                         ASCII text
data/aac-tactics-8.11.0/theories/AAC.v:                                    Mathematica 3.0 notebook
data/aac-tactics-8.11.0/theories/Utils.v:                                  Mathematica 3.0 notebook
data/aac-tactics-8.11.0/theories/Constants.v:                              ASCII text
data/aac-tactics-8.11.0/theories/Instances.v:                              Mathematica 3.0 notebook
data/aac-tactics-8.11.0/theories/Tutorial.v:                               Mathematica 3.0 notebook
data/aac-tactics-8.11.0/theories/Caveats.v:                                Mathematica 3.0 notebook
data/aac-tactics-8.11.0/.gitignore:                                        ASCII text
data/aac-tactics-8.11.0/coq-aac-tactics.opam:                              ASCII text
data/aac-tactics-8.11.0/LICENSE:                                           ASCII text
data/aac-tactics-8.11.0/dune-project:                                      ASCII text
data/aac-tactics-8.11.0/default.nix:                                       ASCII text
data/aac-tactics-8.11.0/_CoqProject:                                       ASCII text
data/aac-tactics-8.11.0/debian/changelog:                                  UTF-8 Unicode text
data/aac-tactics-8.11.0/debian/control:                                    UTF-8 Unicode text
data/aac-tactics-8.11.0/debian/copyright:                                  UTF-8 Unicode text
data/aac-tactics-8.11.0/debian/gbp.conf:                                   ASCII text
data/aac-tactics-8.11.0/debian/libaac-tactics-coq.doc-base.theories:       ASCII text
data/aac-tactics-8.11.0/debian/libaac-tactics-coq.docs:                    ASCII text
data/aac-tactics-8.11.0/debian/libaac-tactics-coq.install:                 ASCII text
data/aac-tactics-8.11.0/debian/libaac-tactics-ocaml-dev.install:           ASCII text
data/aac-tactics-8.11.0/debian/libaac-tactics-ocaml-dev.lintian-overrides: ASCII text
data/aac-tactics-8.11.0/debian/libaac-tactics-ocaml-dev.ocamldoc:          ASCII text
data/aac-tactics-8.11.0/debian/libaac-tactics-ocaml.install.in:            ASCII text
data/aac-tactics-8.11.0/debian/not-installed:                              ASCII text
data/aac-tactics-8.11.0/debian/rules:                                      a /usr/bin/make -f script, ASCII text executable
data/aac-tactics-8.11.0/debian/source/format:                              ASCII text
data/aac-tactics-8.11.0/debian/watch:                                      ASCII text
data/aac-tactics-8.11.0/.pc/.version:                                      ASCII text
data/aac-tactics-8.11.0/.pc/.quilt_patches:                                ASCII text
data/aac-tactics-8.11.0/.pc/.quilt_series:                                 ASCII text
data/aac-tactics-8.11.0/.pc/applied-patches:                               empty