Sophie: prover9-doc-200911a-1.fc14 i686

prover9-doc-200911a-1.fc14.i686.rpm

Files

drwxr-xr-x	4096	root	root	/usr/share/doc/prover9-doc-200911a
-rw-r--r--	4788	root	root	/usr/share/doc/prover9-doc-200911a/actions.html
-rw-r--r--	878	root	root	/usr/share/doc/prover9-doc-200911a/advanced.html
-rw-r--r--	3924	root	root	/usr/share/doc/prover9-doc-200911a/attributes.html
-rw-r--r--	8917	root	root	/usr/share/doc/prover9-doc-200911a/auto.html
-rw-r--r--	3478	root	root	/usr/share/doc/prover9-doc-200911a/clause-properties.html
-rw-r--r--	2398	root	root	/usr/share/doc/prover9-doc-200911a/fof-prover9.html
-rw-r--r--	23254	root	root	/usr/share/doc/prover9-doc-200911a/glossary.html
-rw-r--r--	8809	root	root	/usr/share/doc/prover9-doc-200911a/goals.html
-rw-r--r--	9922	root	root	/usr/share/doc/prover9-doc-200911a/hints.html
-rw-r--r--	200	root	root	/usr/share/doc/prover9-doc-200911a/index.html
-rw-r--r--	21049	root	root	/usr/share/doc/prover9-doc-200911a/inf-rules.html
-rw-r--r--	7682	root	root	/usr/share/doc/prover9-doc-200911a/input.html
-rw-r--r--	1443	root	root	/usr/share/doc/prover9-doc-200911a/install.html
-rw-r--r--	4218	root	root	/usr/share/doc/prover9-doc-200911a/intro.html
-rw-r--r--	3913	root	root	/usr/share/doc/prover9-doc-200911a/limits.html
-rw-r--r--	2857	root	root	/usr/share/doc/prover9-doc-200911a/loop.html
-rw-r--r--	5437	root	root	/usr/share/doc/prover9-doc-200911a/m4-arithmetic.html
-rw-r--r--	4525	root	root	/usr/share/doc/prover9-doc-200911a/m4-input.html
-rw-r--r--	6463	root	root	/usr/share/doc/prover9-doc-200911a/m4-interpformat.html
-rw-r--r--	4014	root	root	/usr/share/doc/prover9-doc-200911a/m4-isofilter.html
-rw-r--r--	11006	root	root	/usr/share/doc/prover9-doc-200911a/m4-options.html
-rw-r--r--	3270	root	root	/usr/share/doc/prover9-doc-200911a/mace4.html
-rw-r--r--	2888	root	root	/usr/share/doc/prover9-doc-200911a/manual.css
-rw-r--r--	5087	root	root	/usr/share/doc/prover9-doc-200911a/more-prep.html
-rw-r--r--	2567	root	root	/usr/share/doc/prover9-doc-200911a/nav.html
-rw-r--r--	23267	root	root	/usr/share/doc/prover9-doc-200911a/options.html
-rw-r--r--	7621	root	root	/usr/share/doc/prover9-doc-200911a/others.html
-rw-r--r--	14463	root	root	/usr/share/doc/prover9-doc-200911a/output.html
-rw-r--r--	16881	root	root	/usr/share/doc/prover9-doc-200911a/process-inf.html
-rw-r--r--	13459	root	root	/usr/share/doc/prover9-doc-200911a/production.html
-rw-r--r--	8458	root	root	/usr/share/doc/prover9-doc-200911a/prooftrans.html
-rw-r--r--	2542	root	root	/usr/share/doc/prover9-doc-200911a/prover9-5a-256t.gif
-rw-r--r--	2615	root	root	/usr/share/doc/prover9-doc-200911a/references.html
-rw-r--r--	5552	root	root	/usr/share/doc/prover9-doc-200911a/running.html
-rw-r--r--	11378	root	root	/usr/share/doc/prover9-doc-200911a/select.html
-rw-r--r--	7165	root	root	/usr/share/doc/prover9-doc-200911a/select2.html
-rw-r--r--	8135	root	root	/usr/share/doc/prover9-doc-200911a/semantics.html
-rw-r--r--	20092	root	root	/usr/share/doc/prover9-doc-200911a/syntax.html
-rw-r--r--	1173	root	root	/usr/share/doc/prover9-doc-200911a/talk-semantics.html
-rw-r--r--	955	root	root	/usr/share/doc/prover9-doc-200911a/talk-software.html
-rw-r--r--	11685	root	root	/usr/share/doc/prover9-doc-200911a/term-order.html
-rw-r--r--	9582	root	root	/usr/share/doc/prover9-doc-200911a/weight.html
-rw-r--r--	3033	root	root	/usr/share/doc/prover9-doc-200911a/white-black.html