WhoCites Definitions MarkB generic Sections NuprlLIB Doc

Who Cites ptn atom?
ptn_atomDef ptn_atom(x) == inl(x)
Thm* T:Type, x:Atom. ptn_atom(x) ptn_con(T)
Thm* x:Atom. ptn_atom(x) Pattern

About:
atominluniversememberall!abstraction

WhoCites Definitions MarkB generic Sections NuprlLIB Doc