src/Tools/8bit/term/initisaterm

Put in minimal simpset to avoid excessive simplification,
just as in revision 1.9 of HOL/indrule.ML

#!/bin/bash
# this script is called from script isaterm.

#sunbroy53:
#stty cs8

#sunbroy52:
stty pass8

bash $*