%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%
%%			X M C  System
%%		(C) 1998-1999, SUNY at Stony Brook
%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

:- import str_cat/3 from string.
%:- import models/2 from mucalculus.

:- import parse/3 from xlparse.
:- import typecheck/1 from typecheck.
:- import comp_form/0 from formula.
:- import xlcomp/0 from comp.

:- import startstate/2, fdef/2 from usermod.