WhoCites Definitions MarkB generic Sections NuprlLIB Doc

Who Cites eq atom?
eq_atomDef x=yAtom == if x=yAtomtrue; false fi
Thm* x,y:Atom. x=yAtom

Syntax:x=yAtom has structure: eq_atom(x; y)

About:
boolbfalsebtrueatomatom_eqmemberall!abstraction

WhoCites Definitions MarkB generic Sections NuprlLIB Doc