src/HOL/Tools/ATP/scripts/dummy_atp
changeset 44596 2621046c550a
child 54788 a898e15b522a
equal deleted inserted replaced
44595:444d111bde7d 44596:2621046c550a
       
     1 echo "SZS status Unknown"