Three ClassicalProps(jlc) Doc

Sections needed for Three

ThreeType of 3-truth-values
list 3 jlcMore on Lists
core 3 jlcVarious facts about Propositional Operators
discrete jlcBasics of Discrete Types
bool 2 jlcA few basic facts about asserting Bools and Bool Equalities
lambda jlcCurrying functions and Explicitly expressing recursion.
list 1
int 2
rfunction 1
prog 1
sqequal 1
quot 1Support lemmas for quotient type.
rel 1Common properties of binary relations.
unionNon canonical functions (isl, outl, outr) for union type.
bool 1
int 1
well fnd
fun 1
coreSome basic concepts defined type-theoretically.

Three ClassicalProps(jlc) Doc