### /home/mccune/otter-3.3/examples-mace2/propositional

Propositional examples for anldp.

`anldp < f2.in > f2.out`

`anldp < f3.in > f3.out`

`anldp < f4.in > f4.out`

`anldp < p5.in > p5.out`

`anldp < p6.in > p6.out`

`anldp < p7.in > p7.out`

`anldp < p8.in > p8.out`

`anldp < p9.in > p9.out`

`anldp < q10.in > q10.out`

These activities are projects of the Mathematics and Computer Science Division of Argonne National Laboratory.