(FILECREATED "13-Jul-86 17:35:18" {QV}<NOTECARDS>1.3K>RHTPATCH067.;1
 795    

      changes to:  (VARS RHTPATCH067COMS)
		   (FNS NC.TopLevelCardP))


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

(PRETTYCOMPRINT RHTPATCH067COMS)

(RPAQQ RHTPATCH067COMS
 ((* * Fix to NCCARDS)
			  (FNS NC.TopLevelCardP)))
(* * Fix to NCCARDS)


(DEFINEQ

(NC.TopLevelCardP

  (LAMBDA (Card)                                             (* rht: "13-Jul-86 17:35")


          (* * Is Card a top level card in its NoteFile?)



    (for
 TopLevelCard in
 (
NC.FetchSpecialCards
 (fetch
 (Card NoteFile) of
 Card))
       thereis
 (
NC.SameCardP
 Card TopLevelCard))))
)
(PUTPROPS RHTPATCH067 COPYRIGHT ("Xerox Corporation" 1986))
(DECLARE: DONTCOPY
  (FILEMAP (NIL (364 713 (NC.TopLevelCardP 374 . 711)))))
STOP