usr/share/acl2-8.6+dfsg/books/defexec/dag-unification/dag-unification-l.lisp
usr/share/acl2-8.6+dfsg/books/defexec/dag-unification/dag-unification-rules.lisp
usr/share/acl2-8.6+dfsg/books/defexec/dag-unification/dag-unification-st.lisp
usr/share/acl2-8.6+dfsg/books/defexec/dag-unification/dags.lisp
usr/share/acl2-8.6+dfsg/books/defexec/dag-unification/list-unification-rules.lisp
usr/share/acl2-8.6+dfsg/books/defexec/dag-unification/matching.lisp
usr/share/acl2-8.6+dfsg/books/defexec/dag-unification/subsumption-subst.lisp
usr/share/acl2-8.6+dfsg/books/defexec/dag-unification/subsumption.lisp
usr/share/acl2-8.6+dfsg/books/defexec/dag-unification/terms-as-dag.lisp
usr/share/acl2-8.6+dfsg/books/defexec/dag-unification/terms-dag-stobj.lisp
usr/share/acl2-8.6+dfsg/books/defexec/dag-unification/terms.lisp
usr/share/acl2-8.6+dfsg/books/workshops/2000/medina/polynomials/polynomial.lisp
usr/share/acl2-8.6+dfsg/books/workshops/2000/medina/polynomials/term.lisp
usr/share/acl2-8.6+dfsg/books/workshops/2000/ruiz/multiset/examples/ackermann/ackermann.lisp
usr/share/acl2-8.6+dfsg/books/workshops/2000/ruiz/multiset/examples/newman/confluence-v0.lisp
usr/share/acl2-8.6+dfsg/books/workshops/2000/ruiz/multiset/examples/newman/confluence.lisp
usr/share/acl2-8.6+dfsg/books/workshops/2000/ruiz/multiset/examples/newman/local-confluence.lisp
usr/share/acl2-8.6+dfsg/books/workshops/2000/ruiz/multiset/examples/newman/newman.lisp
usr/share/acl2-8.6+dfsg/books/workshops/2000/ruiz/multiset/multiset.lisp
usr/share/acl2-8.6+dfsg/books/workshops/2002/ruiz-alonso-hidalgo-martin-dags/support/dags.lisp
usr/share/acl2-8.6+dfsg/books/workshops/2002/ruiz-alonso-hidalgo-martin-dags/support/terms.lisp
usr/share/acl2-8.6+dfsg/books/workshops/2002/ruiz-alonso-hidalgo-martin-theory-terms/support/anti-unification.lisp
usr/share/acl2-8.6+dfsg/books/workshops/2002/ruiz-alonso-hidalgo-martin-theory-terms/support/matching.lisp
usr/share/acl2-8.6+dfsg/books/workshops/2002/ruiz-alonso-hidalgo-martin-theory-terms/support/renamings.lisp
usr/share/acl2-8.6+dfsg/books/workshops/2002/ruiz-alonso-hidalgo-martin-theory-terms/support/subsumption-subst.lisp
usr/share/acl2-8.6+dfsg/books/workshops/2002/ruiz-alonso-hidalgo-martin-theory-terms/support/subsumption.lisp
usr/share/acl2-8.6+dfsg/books/workshops/2002/ruiz-alonso-hidalgo-martin-theory-terms/support/terms.lisp
usr/share/acl2-8.6+dfsg/books/workshops/2002/ruiz-alonso-hidalgo-martin-theory-terms/support/unification-pattern.lisp
usr/share/acl2-8.6+dfsg/books/workshops/2002/ruiz-alonso-hidalgo-martin-theory-terms/support/unification.lisp
usr/share/acl2-8.6+dfsg/books/workshops/2004/ruiz-et-al/support/basic.lisp
usr/share/acl2-8.6+dfsg/books/workshops/2004/ruiz-et-al/support/dag-unification-rules.lisp
usr/share/acl2-8.6+dfsg/books/workshops/2004/ruiz-et-al/support/dags.lisp
usr/share/acl2-8.6+dfsg/books/workshops/2004/ruiz-et-al/support/matching.lisp
usr/share/acl2-8.6+dfsg/books/workshops/2004/ruiz-et-al/support/prefix-unification-rules.lisp
usr/share/acl2-8.6+dfsg/books/workshops/2004/ruiz-et-al/support/q-dag-unification-rules.lisp
usr/share/acl2-8.6+dfsg/books/workshops/2004/ruiz-et-al/support/q-dag-unification-st.lisp
usr/share/acl2-8.6+dfsg/books/workshops/2004/ruiz-et-al/support/q-dag-unification.lisp
usr/share/acl2-8.6+dfsg/books/workshops/2004/ruiz-et-al/support/subsumption-subst.lisp
usr/share/acl2-8.6+dfsg/books/workshops/2004/ruiz-et-al/support/subsumption.lisp
usr/share/acl2-8.6+dfsg/books/workshops/2004/ruiz-et-al/support/terms-as-dag.lisp
usr/share/acl2-8.6+dfsg/books/workshops/2004/ruiz-et-al/support/terms.lisp
usr/share/acl2-8.6+dfsg/books/workshops/2006/cowles-gamboa-euclid/Euclid/fld-u-poly/coe-fld.lisp
usr/share/acl2-8.6+dfsg/books/workshops/2006/cowles-gamboa-euclid/Euclid/fld-u-poly/fucongruencias-producto.lisp
usr/share/acl2-8.6+dfsg/books/workshops/2006/cowles-gamboa-euclid/Euclid/fld-u-poly/fucongruencias-suma.lisp
usr/share/acl2-8.6+dfsg/books/workshops/2006/cowles-gamboa-euclid/Euclid/fld-u-poly/fuforma-normal.lisp
usr/share/acl2-8.6+dfsg/books/workshops/2006/cowles-gamboa-euclid/Euclid/fld-u-poly/fumonomio.lisp
usr/share/acl2-8.6+dfsg/books/workshops/2006/cowles-gamboa-euclid/Euclid/fld-u-poly/fuopuesto.lisp
usr/share/acl2-8.6+dfsg/books/workshops/2006/cowles-gamboa-euclid/Euclid/fld-u-poly/fupolinomio-normalizado.lisp
usr/share/acl2-8.6+dfsg/books/workshops/2006/cowles-gamboa-euclid/Euclid/fld-u-poly/fupolinomio.lisp
usr/share/acl2-8.6+dfsg/books/workshops/2006/cowles-gamboa-euclid/Euclid/fld-u-poly/fuproducto.lisp
usr/share/acl2-8.6+dfsg/books/workshops/2006/cowles-gamboa-euclid/Euclid/fld-u-poly/fusuma.lisp
usr/share/acl2-8.6+dfsg/books/workshops/2006/cowles-gamboa-euclid/Euclid/fld-u-poly/futermino.lisp
usr/share/acl2-8.6+dfsg/books/workshops/2007/cowles-et-al/support/greve/ack.lisp
usr/share/acl2-8.6+dfsg/books/workshops/2007/cowles-et-al/support/greve/defminterm.lisp
usr/share/acl2-8.6+dfsg/books/workshops/2007/cowles-et-al/support/greve/defxch.lisp
usr/share/acl2-8.6+dfsg/books/workshops/2007/rubio/support/abstract-reductions/confluence.lisp
usr/share/acl2-8.6+dfsg/books/workshops/2007/rubio/support/abstract-reductions/convergent.lisp
usr/share/acl2-8.6+dfsg/books/workshops/2007/rubio/support/abstract-reductions/newman.lisp
usr/share/acl2-8.6+dfsg/books/workshops/2007/rubio/support/multisets/multiset.lisp
usr/share/acl2-8.6+dfsg/books/workshops/2007/rubio/support/simplicial-topology/generate-degenerate.lisp
usr/share/doc/acl2-doc/books/workshops/2000/medina/polynomials/README
usr/share/doc/acl2-doc/books/workshops/2002/medina-palomo-alonso/support/section-2/README
usr/share/doc/acl2-doc/books/workshops/2002/medina-palomo-alonso/support/section-3/README
usr/share/acl2-8.6+dfsg/axioms.lisp
