Library Coq.Logic.Classical









Classical Logic

Require Export Classical_Prop.
Require Export Classical_Pred_Type.