WhoCites Definitions GenAutomata Sections NuprlLIB Doc

Who Cites decision?
decisionDef Decision == Top+Top
top Def Top == Void given Void
Thm* Top Type

Syntax:Decision has structure: decision

About:
voidunionisectuniversemembertop!abstraction

WhoCites Definitions GenAutomata Sections NuprlLIB Doc