Use the inversion!

[helm.git] / helm / software / matita / tests / TPTP / simulate_casc.sh

#!/bin/sh

input=$1

for X in `cat elenco_CASC.txt`; do
  grep ^$X $input 
done