(FILECREATED " 9-SEP-83 16:29:06" ("compiled on " {PHYLUM}ARITHDECLS.;2) " 8-SEP-83 19:22:13" tcompl'd in {PHYLUM}FUGUE>DEMO.SYSOUT dated " 9-SEP-83 14:01:30") (FILECREATED "16-FEB-83 17:38:44" {PHYLUM}ARITHDECLS.;2 3413 changes to: (VARS ARITHDECLSCOMS) (PROPS (FPLUS DECLOF) (IMINUS DECLOF) (FIX DECLOF) (ITIMES DECLOF) (IQUOTIENT DECLOF) (IDIFFERENCE DECLOF) (IPLUS DECLOF) (FLOAT DECLOF) (FMINUS DECLOF) (FQUOTIENT DECLOF) (FDIFFERENCE DECLOF) (FTIMES DECLOF) (IMOD DECLOF) (LOGXOR DECLOF) (LOGOR DECLOF) (LOGAND DECLOF)) previous date: "10-APR-79 16:07:09" {PHYLUM}ARITHDECLS.;1) ARITHDECL D1 (P 2 A P 1 TYPE I 0 FORM) @gHµIgNIL (21Q FLOATP 4 FIXP) NIL MAXDECL D1 (P 2 TYPE P 1 A I 0 FORM) )@d£g!@g¹JI ²òHXµðJ(35Q COVERS 32Q DECLOF) (22Q NUMBERP 6 FIXP) NIL (PRETTYCOMPRINT ARITHDECLSCOMS) (RPAQQ ARITHDECLSCOMS ((FNS ARITHDECL MAXDECL) (PROP DECLOF FDIFFERENCE FIX FLOAT FMINUS FPLUS FQUOTIENT FTIMES IDIFFERENCE IMINUS IPLUS IQUOTIENT ITIMES LOGAND LOGOR LOGXOR) (PROP DECLOF ADD1 IMAX IMIN IMOD SUB1 PLUS DIFFERENCE TIMES QUOTIENT MAX MIN MINUS REMAINDER EXPT RAND SQRT LENGTH FLENGTH FMAX FMIN))) (PUTPROPS FDIFFERENCE DECLOF FLOATP) (PUTPROPS FIX DECLOF FIXP) (PUTPROPS FLOAT DECLOF FLOATP) (PUTPROPS FMINUS DECLOF FLOATP) (PUTPROPS FPLUS DECLOF FLOATP) (PUTPROPS FQUOTIENT DECLOF FLOATP) (PUTPROPS FTIMES DECLOF FLOATP) (PUTPROPS IDIFFERENCE DECLOF FIXP) (PUTPROPS IMINUS DECLOF FIXP) (PUTPROPS IPLUS DECLOF FIXP) (PUTPROPS IQUOTIENT DECLOF FIXP) (PUTPROPS ITIMES DECLOF FIXP) (PUTPROPS LOGAND DECLOF FIXP) (PUTPROPS LOGOR DECLOF FIXP) (PUTPROPS LOGXOR DECLOF FIXP) (PUTPROPS ADD1 DECLOF FIXP) (PUTPROPS IMAX DECLOF FIXP) (PUTPROPS IMIN DECLOF FIXP) (PUTPROPS IMOD DECLOF FIXP) (PUTPROPS SUB1 DECLOF FIXP) (PUTPROPS PLUS DECLOF (FUNCTION ARITHDECL)) (PUTPROPS DIFFERENCE DECLOF (FUNCTION ARITHDECL)) (PUTPROPS TIMES DECLOF (FUNCTION ARITHDECL)) (PUTPROPS QUOTIENT DECLOF (FUNCTION ARITHDECL)) (PUTPROPS MAX DECLOF (FUNCTION MAXDECL)) (PUTPROPS MIN DECLOF (FUNCTION MAXDECL)) (PUTPROPS MINUS DECLOF (FUNCTION ARITHDECL)) (PUTPROPS REMAINDER DECLOF (FUNCTION ARITHDECL)) (PUTPROPS EXPT DECLOF (FUNCTION ARITHDECL)) (PUTPROPS RAND DECLOF (FUNCTION ARITHDECL)) (PUTPROPS SQRT DECLOF FLOATP) (PUTPROPS LENGTH DECLOF FIXP) (PUTPROPS FLENGTH DECLOF FIXP) (PUTPROPS FMAX DECLOF FLOATP) (PUTPROPS FMIN DECLOF FLOATP) (PUTPROPS ARITHDECLS COPYRIGHT ("Xerox Corporation" 1983)) NIL