Nuprl - Some Definitions

WhoCites Definitions mb hybrid Sections GenAutomata Doc

	Who Cites infix ap?

infix_ap	`Def x f y == f(x,y)`

Syntax: x f y has structure: infix_ap(f; x; y)

About:

WhoCites Definitions mb hybrid Sections GenAutomata Doc