Nuprl - SUPPORTjlc

Origin Definitions Sections NuprlLIB Doc

SUPPORTjlcNuprl Section: SUPPORTjlc - Generally useful definitions and facts; a lot on lists.

Jim Caldwell's support theories include various facts and definitions of general use, especially a large collection of theorems about lists.

list 3 jlc More on Lists

core 3 jlc Various facts about Propositional Operators

discrete jlc Basics of Discrete Types

bool 2 jlc A few basic facts about asserting Bools and Bool Equalities

lambda jlc Currying functions and Explicitly expressing recursion.

Origin Definitions Sections NuprlLIB Doc

list 3 jlc	More on Lists
core 3 jlc	Various facts about Propositional Operators
discrete jlc	Basics of Discrete Types
bool 2 jlc	A few basic facts about asserting Bools and Bool Equalities
lambda jlc	Currying functions and Explicitly expressing recursion.