(* Mar 3, 1998 (added Parvin's new quantifier file *)

(* May 19, 1998 (added Sol's natorder file) *) 

(* builds all current theories *)

script "new.quantifiers";
script "simplesets";
script "evenodd";
script "natorder";
script "programs";

quit();