DEFINITION MODULE Skeleton; (********************************************************) (* *) (* *) (* *) (* Programmer: P. Moylan *) (* Last edited: 21 February 1995 *) (* Status: *) (* *) (********************************************************) (************************************************************************) PROCEDURE P; END Skeleton.