From 3ef7797ef6fc605dfafb32523261fe1b023aeecb Mon Sep 17 00:00:00 2001 From: Samuel Mimram Date: Fri, 28 Apr 2006 14:59:16 +0000 Subject: Imported Upstream version 8.0pl3+8.1alpha --- theories/Logic/Classical_Type.v | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) mode change 100755 => 100644 theories/Logic/Classical_Type.v (limited to 'theories/Logic/Classical_Type.v') diff --git a/theories/Logic/Classical_Type.v b/theories/Logic/Classical_Type.v old mode 100755 new mode 100644 index 753b8590..9b1f4e19 --- a/theories/Logic/Classical_Type.v +++ b/theories/Logic/Classical_Type.v @@ -6,9 +6,11 @@ (* * GNU Lesser General Public License Version 2.1 *) (************************************************************************) -(*i $Id: Classical_Type.v,v 1.5.2.1 2004/07/16 19:31:06 herbelin Exp $ i*) +(*i $Id: Classical_Type.v 8642 2006-03-17 10:09:02Z notin $ i*) + +(** This file is obsolete, use Classical.v instead *) (** Classical Logic for Type *) Require Export Classical_Prop. -Require Export Classical_Pred_Type. \ No newline at end of file +Require Export Classical_Pred_Type. -- cgit v1.2.3