Definitions var jlc ClassicalProps(jlc) Doc

Defined Operators mentioned in var jlc (and any they in turn depend on)

DefVar[Var]
DefS T[subtype]core
DefDiscrete{T}[discrete]discrete jlc
DefDec(P)[decidable]core
Defx:A. B(x)[all]core
DefA[not]core

About:
decidableatomfunctionequalmembersubtypeimpliesorfalseall

Definitions var jlc ClassicalProps(jlc) Doc