#!/bin/csh

echo running $1 ...

echo "set(build_proof_object)." > head$$

cat head$$ $1 | otter | get_proof_objects | grep -v "^;;" > $1:r.prf

