ALGOL W Based on

INput language for the PIVOT theorem prover

PIVOT 1 Input language for
1