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.