From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 1 Apr 2004 16:40:46 +0000 (+0000)
Subject: <VARIABLE as="LocalFact"/> added
X-Git-Tag: dead_dir_walking~98
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=30c6239d0496ef9f66c29d9dd08f5bb043cdf925;p=helm.git

<VARIABLE as="LocalFact"/> added
---

diff --git a/helm/dtd/theoryobject.dtd b/helm/dtd/theoryobject.dtd
index f9dd18e16..edd02477c 100644
--- a/helm/dtd/theoryobject.dtd
+++ b/helm/dtd/theoryobject.dtd
@@ -64,4 +64,4 @@
 <!ELEMENT ht:VARIABLE (Variable)>
 <!ATTLIST ht:VARIABLE
           uri CDATA #REQUIRED
-          as (Assumption|Hypothesis|LocalDefinition) #REQUIRED>
+          as (Assumption|Hypothesis|LocalDefinition|LocalFact) #REQUIRED>