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.