Nuprl - Some Definitions

	Who Cites tree leaf?

tree_leaf	`Def tree_leaf(x) == inl(x)`

	`Thm* E,T:Type, x:E. tree_leaf(x) tree_con(E;T)`

	`Thm* E:Type, x:E. tree_leaf(x) Tree(E)`

About: