Filelist of package libaac-tactics-coq in wheezy of architecture all

/usr/lib/coq/user-contrib/AAC_tactics/AAC.vo
/usr/lib/coq/user-contrib/AAC_tactics/Caveats.vo
/usr/lib/coq/user-contrib/AAC_tactics/Instances.vo
/usr/lib/coq/user-contrib/AAC_tactics/Tutorial.vo
/usr/share/doc-base/aac-tactics-api-reference
/usr/share/doc-base/aac-tactics-theories
/usr/share/doc/libaac-tactics-coq/README.txt
/usr/share/doc/libaac-tactics-coq/api/AAC_coq.Bool.html
/usr/share/doc/libaac-tactics-coq/api/AAC_coq.Classes.html
/usr/share/doc/libaac-tactics-coq/api/AAC_coq.Comparison.html
/usr/share/doc/libaac-tactics-coq/api/AAC_coq.Equivalence.html
/usr/share/doc/libaac-tactics-coq/api/AAC_coq.Leibniz.html
/usr/share/doc/libaac-tactics-coq/api/AAC_coq.List.html
/usr/share/doc/libaac-tactics-coq/api/AAC_coq.Nat.html
/usr/share/doc/libaac-tactics-coq/api/AAC_coq.Option.html
/usr/share/doc/libaac-tactics-coq/api/AAC_coq.Pair.html
/usr/share/doc/libaac-tactics-coq/api/AAC_coq.Pos.html
/usr/share/doc/libaac-tactics-coq/api/AAC_coq.Relation.html
/usr/share/doc/libaac-tactics-coq/api/AAC_coq.Rewrite.html
/usr/share/doc/libaac-tactics-coq/api/AAC_coq.Transitive.html
/usr/share/doc/libaac-tactics-coq/api/AAC_coq.html
/usr/share/doc/libaac-tactics-coq/api/AAC_helper.CONTROL.html
/usr/share/doc/libaac-tactics-coq/api/AAC_helper.Debug.html
/usr/share/doc/libaac-tactics-coq/api/AAC_helper.html
/usr/share/doc/libaac-tactics-coq/api/AAC_matcher.Subst.html
/usr/share/doc/libaac-tactics-coq/api/AAC_matcher.Terms.html
/usr/share/doc/libaac-tactics-coq/api/AAC_matcher.html
/usr/share/doc/libaac-tactics-coq/api/AAC_print.html
/usr/share/doc/libaac-tactics-coq/api/AAC_rewrite.html
/usr/share/doc/libaac-tactics-coq/api/AAC_search_monad.html
/usr/share/doc/libaac-tactics-coq/api/AAC_theory.Sigma.html
/usr/share/doc/libaac-tactics-coq/api/AAC_theory.Stubs.html
/usr/share/doc/libaac-tactics-coq/api/AAC_theory.Sym.html
/usr/share/doc/libaac-tactics-coq/api/AAC_theory.Trans.html
/usr/share/doc/libaac-tactics-coq/api/AAC_theory.html
/usr/share/doc/libaac-tactics-coq/api/index.html
/usr/share/doc/libaac-tactics-coq/api/index_attributes.html
/usr/share/doc/libaac-tactics-coq/api/index_class_types.html
/usr/share/doc/libaac-tactics-coq/api/index_classes.html
/usr/share/doc/libaac-tactics-coq/api/index_exceptions.html
/usr/share/doc/libaac-tactics-coq/api/index_methods.html
/usr/share/doc/libaac-tactics-coq/api/index_module_types.html
/usr/share/doc/libaac-tactics-coq/api/index_modules.html
/usr/share/doc/libaac-tactics-coq/api/index_types.html
/usr/share/doc/libaac-tactics-coq/api/index_values.html
/usr/share/doc/libaac-tactics-coq/api/style.css
/usr/share/doc/libaac-tactics-coq/api/type_AAC_coq.Bool.html
/usr/share/doc/libaac-tactics-coq/api/type_AAC_coq.Classes.html
/usr/share/doc/libaac-tactics-coq/api/type_AAC_coq.Comparison.html
/usr/share/doc/libaac-tactics-coq/api/type_AAC_coq.Equivalence.html
/usr/share/doc/libaac-tactics-coq/api/type_AAC_coq.Leibniz.html
/usr/share/doc/libaac-tactics-coq/api/type_AAC_coq.List.html
/usr/share/doc/libaac-tactics-coq/api/type_AAC_coq.Nat.html
/usr/share/doc/libaac-tactics-coq/api/type_AAC_coq.Option.html
/usr/share/doc/libaac-tactics-coq/api/type_AAC_coq.Pair.html
/usr/share/doc/libaac-tactics-coq/api/type_AAC_coq.Pos.html
/usr/share/doc/libaac-tactics-coq/api/type_AAC_coq.Relation.html
/usr/share/doc/libaac-tactics-coq/api/type_AAC_coq.Rewrite.html
/usr/share/doc/libaac-tactics-coq/api/type_AAC_coq.Transitive.html
/usr/share/doc/libaac-tactics-coq/api/type_AAC_coq.html
/usr/share/doc/libaac-tactics-coq/api/type_AAC_helper.CONTROL.html
/usr/share/doc/libaac-tactics-coq/api/type_AAC_helper.Debug.html
/usr/share/doc/libaac-tactics-coq/api/type_AAC_helper.html
/usr/share/doc/libaac-tactics-coq/api/type_AAC_matcher.Subst.html
/usr/share/doc/libaac-tactics-coq/api/type_AAC_matcher.Terms.html
/usr/share/doc/libaac-tactics-coq/api/type_AAC_matcher.html
/usr/share/doc/libaac-tactics-coq/api/type_AAC_print.html
/usr/share/doc/libaac-tactics-coq/api/type_AAC_rewrite.html
/usr/share/doc/libaac-tactics-coq/api/type_AAC_search_monad.html
/usr/share/doc/libaac-tactics-coq/api/type_AAC_theory.Sigma.html
/usr/share/doc/libaac-tactics-coq/api/type_AAC_theory.Stubs.html
/usr/share/doc/libaac-tactics-coq/api/type_AAC_theory.Sym.html
/usr/share/doc/libaac-tactics-coq/api/type_AAC_theory.Trans.html
/usr/share/doc/libaac-tactics-coq/api/type_AAC_theory.html
/usr/share/doc/libaac-tactics-coq/changelog.Debian.gz
/usr/share/doc/libaac-tactics-coq/changelog.gz
/usr/share/doc/libaac-tactics-coq/copyright
/usr/share/doc/libaac-tactics-coq/theories/AAC_tactics.AAC.html
/usr/share/doc/libaac-tactics-coq/theories/AAC_tactics.Caveats.html
/usr/share/doc/libaac-tactics-coq/theories/AAC_tactics.Instances.html
/usr/share/doc/libaac-tactics-coq/theories/AAC_tactics.Tutorial.html
/usr/share/doc/libaac-tactics-coq/theories/coqdoc.css
/usr/share/doc/libaac-tactics-coq/theories/index.html
/usr/share/doc/libaac-tactics-coq/theories/toc.html