src/HOL/Tools/ATP/scripts/dummy_atp
author blanchet
Tue, 30 Aug 2011 16:07:46 +0200
changeset 44596 2621046c550a
child 54788 a898e15b522a
permissions -rwxr-xr-x
cleaner "pff" dummy TFF0 prover

echo "SZS status Unknown"