DEFINITION MODULE mdgenerallib; (* This is a general library of procedures that I like and use in *) (* in various ways. Nothing special about the grouping other than that *) (* they are things that I personally think are useful. *) (* - MD *) (*********************************************************) PROCEDURE MyPause (time : CARDINAL); (* Pauses for number of seconds input *) (********************************************************) PROCEDURE RealRandom () : REAL; (* Returns a random number in the range [0, 1). *) (********************************************************) END mdgenerallib.