/usr/share/prover9-mace4/Samples/Equality/Mace4/

This file is indexed.

/usr/share/prover9-mace4/Samples/Equality/Mace4/ is in prover9-mace4 0.5.dfsg-3.

This file is owned by root:root, with mode 0o755.

File	Mime Type	Owner	Mode	Size
`..`
`/usr/share/prover9-mace4/Samples/Equality/Mace4/BA-Sheffer-counterexample.in`	text/plain	root:root	0o644	1.1 KB
`/usr/share/prover9-mace4/Samples/Equality/Mace4/CL-QL.in`	text/plain	root:root	0o644	521 bytes
`/usr/share/prover9-mace4/Samples/Equality/Mace4/Megill-68.in`	text/plain	root:root	0o644	722 bytes
`/usr/share/prover9-mace4/Samples/Equality/Mace4/Noncommutative-group-48.in`	text/plain	root:root	0o644	356 bytes
`/usr/share/prover9-mace4/Samples/Equality/Mace4/Noncommutative-group.in`	text/plain	root:root	0o644	510 bytes
`/usr/share/prover9-mace4/Samples/Equality/Mace4/Noncommutative-ring-unit.in`	text/plain	root:root	0o644	475 bytes
`/usr/share/prover9-mace4/Samples/Equality/Mace4/Nonmodular-OML.in`	text/plain	root:root	0o644	547 bytes
`/usr/share/prover9-mace4/Samples/Equality/Mace4/QG-4.in`	text/plain	root:root	0o644	461 bytes
`/usr/share/prover9-mace4/Samples/Equality/Mace4/Ring-19.in`	text/plain	root:root	0o644	1.1 KB
`/usr/share/prover9-mace4/Samples/Equality/Mace4/TBA-independence-2.in`	text/plain	root:root	0o644	451 bytes