tagged 0.5.0-rc1

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

#!/bin/sh

input=$1

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