Nuprl - Some Definitions

	No mentions to report in GenAutomata

ptn_var	`Def 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: