the splitter is now defined as a functor
moved addsplits, delsplits, Addsplits, Delsplits to Provers/splitter.ML
moved split_thm_info to Provers/splitter.ML
definined atomize via general mk_atomize
removed superfluous rot_eq_tac from simplifier.ML
HOL/simpdata.ML: renamed mk_meta_eq to meta_eq,
re-renamed mk_meta_eq_simp to mk_meta_eq
added Eps_eq to simpset
#!/bin/bash
#
# $Id$
#
# showtime - print time.
TIME=$1
SECS=$[ $TIME % 60 ]
[ $SECS -lt 10 ] && SECS=0$SECS
MINUTES=$[ ($TIME / 60) % 60 ]
[ $MINUTES -lt 10 ] && MINUTES=0$MINUTES
HOURS=$[ $TIME / 3600 ]
echo "${HOURS}:${MINUTES}:${SECS}"