<> <> <<>> <> <<>> <> <<>> <> <<>> <> <<>> <<>> DIRECTORY Rope, IO, AlgebraClasses, Variables, RatPolynomials, AlgebraicNumbers, RealFields, AlgebraicPolynomials, Formulas, QETypes, QEIO, Cad; ASDisplayManager: CEDAR DEFINITIONS IMPORTS AlgebraicNumbers, RealFields ~ BEGIN OPEN AC: AlgebraClasses, VARS: Variables, RP: RatPolynomials, AN: AlgebraicNumbers, RF: RealFields, AP: AlgebraicPolynomials, QFF: Formulas, QET: QETypes, QEIO, Cad;
Name: PROC [
Args] RETURNS [
Results] ~ {
Body }; END.