(* ----------------------------------------------------------------------------
 * $Id: MLMLDEMO.md,v 1.3 1995/11/05 14:04:46 kredel Exp $
 * ----------------------------------------------------------------------------
 * Copyright (c) 1993 Universitaet Passau
 * ----------------------------------------------------------------------------
 * This file is part of MAS.
 * ----------------------------------------------------------------------------
 * $Log: MLMLDEMO.md,v $
 * Revision 1.3  1995/11/05  14:04:46  kredel
 * Added module comment
 *
 * Revision 1.2  1993/12/17  17:38:54  dolzmann
 * Adapted to the divided MASLOG.
 *
# Revision 1.1  1993/07/13  14:45:30  dolzmann
# The configuration-files of MASLOG and MLDEMO.
#
 * ----------------------------------------------------------------------------
 *)

DEFINITION MODULE MLMLDEMO;

(* MAS Logic Demonstration Implementation Module. *) 

(******************************************************************************
*	   M A S L O A D   M A S L O G    D E M O N S T R A T I O N	      *
*-----------------------------------------------------------------------------*
* Author:   Andreas Dolzmann                                                  *
* Language: Modula II (mtc or mocka are possible)                             *
* System:   Program for the computer algebra system MAS by Heinz Kredel.      *
* Remark:   Libraries maslog, mldemo are used.                                *
* Abstract: This is the configuration module for MLDEMO. MLDEMO is a example  *
*           application for MASLOG.                                           *
******************************************************************************)

FROM MASSTOR IMPORT LIST;

CONST rcsid = "$Id: MLMLDEMO.md,v 1.3 1995/11/05 14:04:46 kredel Exp $";
CONST copyright = "Copyright (c) 1993 Universitaet Passau";

PROCEDURE InitExternalsMLDEMO();
(* Initialize externals maslog demonstration procedures. *)

END MLMLDEMO.

(* -EOF- *)