Library Bool


Encoding of booleans


Definition true := .\"t", "f"; "t".
Definition false := .\"t", "f"; "f".
Definition Andalso : term := .\"a", "b"; "a" "b" false.
Definition Not : term := .\"a"; "a" false true.

Definition false_1 := .\"x" ; false.
Definition false_2 := .\"x", "x"; false.


Boolean And and Or