src/HOL/Tools/ATP/scripts/dummy_atp
author blanchet
Fri, 25 Oct 2019 16:28:04 +0200
changeset 70944 849311b45428
parent 54788 a898e15b522a
permissions -rwxr-xr-x
compile

#!/usr/bin/env bash
echo "SZS status Unknown"