Filelist of package prover9 in squeeze of architecture amd64

/usr/bin/interpformat
/usr/bin/isofilter
/usr/bin/isofilter0
/usr/bin/isofilter2
/usr/bin/mace4
/usr/bin/prooftrans
/usr/bin/prover9
/usr/share/doc/prover9/changelog.Debian.gz
/usr/share/doc/prover9/changelog.gz
/usr/share/doc/prover9/copyright
/usr/share/doc/prover9/examples/mace4.examples/README
/usr/share/doc/prover9/examples/mace4.examples/group2.in
/usr/share/doc/prover9/examples/mace4.examples/rw1.in
/usr/share/doc/prover9/examples/prover9.examples/README
/usr/share/doc/prover9/examples/prover9.examples/x2.hints
/usr/share/doc/prover9/examples/prover9.examples/x2.in
/usr/share/doc/prover9/examples/prover9.examples/x2.out.gz
/usr/share/man/man1/interpformat.1.gz
/usr/share/man/man1/isofilter.1.gz
/usr/share/man/man1/isofilter0.1.gz
/usr/share/man/man1/isofilter2.1.gz
/usr/share/man/man1/mace4.1.gz
/usr/share/man/man1/prooftrans.1.gz
/usr/share/man/man1/prover9.1.gz