Nuprl - Sections preceding core 3 jlc

Sections needed for core_3_jlc

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
bool 1
int 1
well fnd
core	Some basic concepts defined type-theoretically.