]> matita.cs.unibo.it Git - helm.git/commit
m:exist ==> m:exists
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 3 Dec 2002 09:18:25 +0000 (09:18 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 3 Dec 2002 09:18:25 +0000 (09:18 +0000)
commit29af35ca2066806f81341481a9d4d52cf11e46e5
tree18b4b2ac3fb11fbdfb867a864e8fc1d6b318c589
parenta370bf72d9e59254327ae3801ed4201f9981c6f0
m:exist ==> m:exists
helm/meta_style/basic.xml