Nuprl - Some Definitions

	No mentions to report in GenAutomata

ptn_int	`Def ptn_int(x) == inr(inl(x))`

	`Thm* T:Type, x:. ptn_int(x) ptn_con(T)`

	`Thm* x:. ptn_int(x) Pattern`

About: