]> matita.cs.unibo.it Git - helm.git/commit
m:exist ==> m:exists
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 3 Dec 2002 09:23:58 +0000 (09:23 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 3 Dec 2002 09:23:58 +0000 (09:23 +0000)
commit484e764af06d980a1017f427c5243b5c5cef578c
tree5a7f915349dc95eb7bd337908fe0b8e2c8743878
parent4411489f899b4706834373f9c516856a4b6131d6
m:exist ==> m:exists
helm/meta_style/basic.xml