Nuprl - Some Definitions

	No mentions to report in GenAutomata

case_module1	`Def module1(tag, data) = > body(tag;data)(x,z) == x/x2,x1. body(x2;x1)`

Syntax: module1(tag, data) = > body(tag;data) has structure: case_module1(tag,data.body(tag;data))

About: