]> matita.cs.unibo.it Git - helm.git/commit
<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)
commit30c6239d0496ef9f66c29d9dd08f5bb043cdf925
tree5d505a3f8609ba2ad282af10bb18a01c5c26b537
parent263ec7b09d7aedd71edd0ae6aa0bbe58b2a980cb
<VARIABLE as="LocalFact"/> added
helm/dtd/theoryobject.dtd