Use("stdopers");
Use("patterns");
Use("deffunc");
Use("constants");
Use("standard");

DefPackages:={};
RuleBase("CntDefLoad",{file});
Rule("CntDefLoad",1,1,True)
[
  DestructiveInsert(DefPackages,1,file);
  DefLoad(file);
];

CntDefLoad("solve");
CntDefLoad("deriv");
CntDefLoad("linalg");
CntDefLoad("random");
CntDefLoad("lists");
CntDefLoad("controlflow");
CntDefLoad("complex");
CntDefLoad("stdfuncs");
CntDefLoad("sums");
CntDefLoad("newly");
CntDefLoad("univar");
CntDefLoad("stubs");
CntDefLoad("numbers");
CntDefLoad("integrate");
CntDefLoad("substitute");
CntDefLoad("simplify");
CntDefLoad("functional");
CntDefLoad("assoc");
CntDefLoad("html");
CntDefLoad("fakedb");
CntDefLoad("array");
CntDefLoad("example");
CntDefLoad("trigsimp");
CntDefLoad("formula");
CntDefLoad("edit");

