src/HOL/Tools/ATP/testoutput.py
author wenzelm
Sat, 17 Dec 2005 01:00:40 +0100
changeset 18428 4059413acbc1
parent 16089 9169bdf930f8
permissions -rwxr-xr-x
sort_distinct;

#!/usr/bin/python

import string
import sys

mode = 0
try:
  while 1:
    line = sys.stdin.readline()
    words = line.split()
    if len(words) > 0:
      if words[0] == "SPASS":
        mode = 1
    if line == '':
      break
    line = line[:-1]
    if mode == 1:
      print line
except:
  pass
#f.close()

sys.exit()