Module Coq.Logic.Classical

Classical Logic

Require Export Classical_Prop.
Require Export Classical_Pred_Set.


Index