path: root/theories/Logic/Classical_Type.v

(* $Id$ *)

(* Classical Logic for Type *)

Require Export Classical_Prop.
Require Export Classical_Pred_Type.