Added Krzysztof's theorems singleton_eq_iff, fst_type, snd_type
Renamed doubleton_iff to doubleton_eq_iff
#! /bin/sh
# teeinput -- start a program and log all inputs to a file
# environment variable $LISTEN specifies the file name
tee -a -i $LISTEN | $*