Definitions MarkB generic Sections NuprlLIB Doc

No other cites to report in MarkB_generic
ptn_varDef ptn_var(x) == inr(inr(inl(x)))
Thm* T:Type, x:Atom. ptn_var(x) ptn_con(T)
Thm* x:Atom. ptn_var(x) Pattern

About:
atominlinruniversememberall!abstraction

Definitions MarkB generic Sections NuprlLIB Doc