Ohita sivustonavigointi

Packages

• About Debian
• Getting Debian
• Tuki
• Developers' Corner

/usr/share/acl2-8.6+dfsg/TAGS
/usr/share/acl2-8.6+dfsg/acl2-check.lisp
/usr/share/acl2-8.6+dfsg/acl2-fns.lisp
/usr/share/acl2-8.6+dfsg/acl2-init.lisp
/usr/share/acl2-8.6+dfsg/acl2-proclaims.lisp
/usr/share/acl2-8.6+dfsg/acl2.lisp
/usr/share/acl2-8.6+dfsg/acl2r.lisp
/usr/share/acl2-8.6+dfsg/akcl-acl2-trace.lisp
/usr/share/acl2-8.6+dfsg/allegro-acl2-trace.lisp
/usr/share/acl2-8.6+dfsg/apply-constraints.lisp
/usr/share/acl2-8.6+dfsg/apply-prim.lisp
/usr/share/acl2-8.6+dfsg/apply-raw.lisp
/usr/share/acl2-8.6+dfsg/apply.lisp
/usr/share/acl2-8.6+dfsg/axioms.lisp
/usr/share/acl2-8.6+dfsg/basis-a.lisp
/usr/share/acl2-8.6+dfsg/basis-b.lisp
/usr/share/acl2-8.6+dfsg/bdd.lisp
/usr/share/acl2-8.6+dfsg/boot-strap-pass-2-a.lisp
/usr/share/acl2-8.6+dfsg/boot-strap-pass-2-b.lisp
/usr/share/acl2-8.6+dfsg/defpkgs.lisp
/usr/share/acl2-8.6+dfsg/defthm.lisp
/usr/share/acl2-8.6+dfsg/defuns.lisp
/usr/share/acl2-8.6+dfsg/doc.lisp
/usr/share/acl2-8.6+dfsg/float-a.lisp
/usr/share/acl2-8.6+dfsg/float-b.lisp
/usr/share/acl2-8.6+dfsg/float-raw.lisp
/usr/share/acl2-8.6+dfsg/futures-raw.lisp
/usr/share/acl2-8.6+dfsg/history-management.lisp
/usr/share/acl2-8.6+dfsg/hons-raw.lisp
/usr/share/acl2-8.6+dfsg/hons.lisp
/usr/share/acl2-8.6+dfsg/induct.lisp
/usr/share/acl2-8.6+dfsg/init.lisp
/usr/share/acl2-8.6+dfsg/interface-raw.lisp
/usr/share/acl2-8.6+dfsg/ld.lisp
/usr/share/acl2-8.6+dfsg/linear-a.lisp
/usr/share/acl2-8.6+dfsg/linear-b.lisp
/usr/share/acl2-8.6+dfsg/mcl-acl2-startup.lisp
/usr/share/acl2-8.6+dfsg/memoize-raw.lisp
/usr/share/acl2-8.6+dfsg/memoize.lisp
/usr/share/acl2-8.6+dfsg/multi-threading-raw.lisp
/usr/share/acl2-8.6+dfsg/non-linear.lisp
/usr/share/acl2-8.6+dfsg/openmcl-acl2-trace.lisp
/usr/share/acl2-8.6+dfsg/other-events.lisp
/usr/share/acl2-8.6+dfsg/other-processes.lisp
/usr/share/acl2-8.6+dfsg/parallel-raw.lisp
/usr/share/acl2-8.6+dfsg/parallel.lisp
/usr/share/acl2-8.6+dfsg/proof-builder-a.lisp
/usr/share/acl2-8.6+dfsg/proof-builder-b.lisp
/usr/share/acl2-8.6+dfsg/proof-builder-pkg.lisp
/usr/share/acl2-8.6+dfsg/prove.lisp
/usr/share/acl2-8.6+dfsg/rewrite.lisp
/usr/share/acl2-8.6+dfsg/serialize-raw.lisp
/usr/share/acl2-8.6+dfsg/serialize.lisp
/usr/share/acl2-8.6+dfsg/simplify.lisp
/usr/share/acl2-8.6+dfsg/tau.lisp
/usr/share/acl2-8.6+dfsg/translate.lisp
/usr/share/acl2-8.6+dfsg/type-set-a.lisp
/usr/share/acl2-8.6+dfsg/type-set-b.lisp
/usr/share/doc/acl2-source/changelog.Debian.gz
/usr/share/doc/acl2-source/copyright