Library Coq.Logic.Classical_Type

This file is obsolete, use Classical.v instead

Classical Logic for Type

Require Export Classical_Prop.
Require Export Classical_Pred_Type.