Library Coq.Logic.Classical

Classical Logic





Require Export Classical_Prop.

Require Export Classical_Pred_Type.