Nuprl - Definition of Formula

	Who Cites Formula?

Formula	`Def Formula == rec(formula.Var+formula+(formulaformula)+(formulaformula)+(formulaformula))`

	`Thm* Formula Type`

Var	`Def Var == Atom`

	`Thm* Var Type`

About: