00001 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
00002 %%
00003 %% X M C System
00004 %% (C) 1998-1999, SUNY at Stony Brook
00005 %%
00006 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
00007
00008 :- import str_cat/3 from string.
00009 %:- import models/2 from mucalculus.
00010
00011 :- import parse/3 from xlparse.
00012 :- import typecheck/1 from typecheck.
00013 :- import comp_form/0 from formula.
00014 :- import xlcomp/0 from comp.
00015
00016 :- import startstate/2, fdef/2 from usermod.
