]> matita.cs.unibo.it Git - helm.git/commitdiff
projects / helm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 263ec7b)
<VARIABLE as="LocalFact"/> added
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 1 Apr 2004 16:40:46 +0000 (16:40 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 1 Apr 2004 16:40:46 +0000 (16:40 +0000)
helm/dtd/theoryobject.dtd patch | blob | history

diff --git a/helm/dtd/theoryobject.dtd b/helm/dtd/theoryobject.dtd
index f9dd18e166f6b32e02cf801578ab557dc5ed801f..edd02477cb5bf02c812b730c66354e70d4071a01 100644 (file)
--- 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>
Unnamed repository; edit this file 'description' to name the repository.