timer.def

DEFINITION MODULE Timer;

(* get time stats, FST specific *)
(* John Andrea, Mar.27/92 *)
(* This code may NOT be sold, it may be freely used and distributed *)

PROCEDURE StartTimer;
PROCEDURE ShowTimer;

END Timer.