(* ---------------------------------------------------------------------------- * $Id: DOMMD.md,v 1.2 1992/02/12 17:31:30 pesch Exp $ * ---------------------------------------------------------------------------- * This file is part of MAS. * ---------------------------------------------------------------------------- * Copyright (c) 1989 - 1992 Universitaet Passau * ---------------------------------------------------------------------------- * $Log: DOMMD.md,v $ * Revision 1.2 1992/02/12 17:31:30 pesch * Moved CONST definition to the right place * * Revision 1.1 1992/01/22 15:09:14 kredel * Initial revision * * ---------------------------------------------------------------------------- *) DEFINITION MODULE DOMMD; (* MAS Domain Modular Digit Definition Module. *) FROM MASADOM IMPORT Domain; VAR DOMMDD: Domain; CONST rcsid = "$Id: DOMMD.md,v 1.2 1992/02/12 17:31:30 pesch Exp $"; CONST copyright = "Copyright (c) 1989 - 1992 Universitaet Passau"; PROCEDURE DomLoadMD(); (*Domain load modular digit. *) END DOMMD. (* -EOF- *)