src/HOL/Tools/ATP/scripts/dummy_atp
changeset 70945 420f5d1953c7
parent 70944 849311b45428
child 70947 b62bb9a61abc
equal deleted inserted replaced
70944:849311b45428 70945:420f5d1953c7
     1 #!/usr/bin/env bash
       
     2 echo "SZS status Unknown"