(* $Id$

 * requires: smlnj-lib

 *           mlyacc-lib

 *

 *           general, lib, uppaalxml

 *)

use "parse/expression.sig";

use "parse/expression.sml";

use "parse/declaration.sig";

use "parse/declarationfn.sml";

use "parse/declaration.sml";

use "parse/ppdevstring.sml";

use "parse/expression_pp.sig";

use "parse/expressionpp.sml";

use "parse/declaration_pp.sig";

use "parse/declarationppfn.sml";

use "parse/expression_cvt.sig";

use "parse/expressioncvt.sml";

use "parse/environment.sig";

use "parse/environment.sml";

use "parse/environment_pp.sig";

use "parse/environmentppfn.sml";

use "parse/environment_cvt.sig";

use "parse/environmentcvt.sml";

use "parse/parsed_nta.sig";

use "parse/parsednta.sml";

use "parse/result.sig";

use "parse/result.sml";

use "parse/uppaal.grm.sig";

use "parse/uppaal.grm.sml";

use "parse/uppaal.lex.sml";

use "parse/uppaal_parse.sig";

use "parse/uppaalparse.sml";

use "parse/actionredblackmap.sml";

use "parse/actionmap.sml";

use "parse/actionset.sml";