From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Tue, 2 Dec 2003 13:33:55 +0000 (+0000)
Subject: added sort CProp
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=refs%2Fheads%2FV7_3_new_exportation;p=helm.git

added sort CProp
---

diff --git a/helm/dtd/cic.dtd b/helm/dtd/cic.dtd
index a4068754f..97e6cd6b1 100644
--- a/helm/dtd/cic.dtd
+++ b/helm/dtd/cic.dtd
@@ -9,7 +9,7 @@
 
 <!-- CIC sorts -->
 
-<!ENTITY % sort '(Prop|Set|Type)'>
+<!ENTITY % sort '(Prop|Set|Type|CProp)'>
 
 <!-- CIC sequents -->