(FILECREATED " 1-Apr-85 00:00:35" {ERIS}<LISP>INTERMEZZO>PATCHES>TYPEMASKPATCH.;3
 946    

      changes to:  (VARS TYPEMASKPATCHCOMS)
		   (FNS \PATCH.TYPEMASK)

      previous date: "31-Mar-85 23:39:47" {ERIS}<LISP>INTERMEZZO>PATCHES>TYPEMASKPATCH.;2)


(* Copyright (c) 1985 by Xerox Corporation. All rights reserved.)

(PRETTYCOMPRINT TYPEMASKPATCHCOMS)

(RPAQQ TYPEMASKPATCHCOMS
 ((FNS \PATCH.TYPEMASK)
			  (P (\SETUFNENTRY 51 (QUOTE \PATCH.TYPEMASK)
					   2 1))))
(DEFINEQ

(\PATCH.TYPEMASK

  [LAMBDA (X N)                                              (* edited: "31-Mar-85 23:59")

    (
SELECTC
 N
	     ((
LRSH
 \TT.FIXP 8)
	       (
FIXP
 X))
	     ((
LRSH
 \TT.ATOM 8)
	       (
ATOM
 X))
	     ((
LRSH
 \TT.NUMBERP 8)
	       (
NUMBERP
 X))
	     (
SHOULDNT
])
)
(\SETUFNENTRY 51 (QUOTE \PATCH.TYPEMASK)
	      2 1)
(PUTPROPS TYPEMASKPATCH COPYRIGHT ("Xerox Corporation" 1985))
(DECLARE: DONTCOPY
  (FILEMAP (NIL (482 809 (\PATCH.TYPEMASK 492 . 807)))))
STOP