]> matita.cs.unibo.it Git - helm.git/commit
New attribute @params for variables.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 25 Oct 2002 16:41:41 +0000 (16:41 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 25 Oct 2002 16:41:41 +0000 (16:41 +0000)
commitd8e6e320b85cef6ff4dd70ab74bd6bc9398b734f
tree5da2c3c51fd23ddec5b417d3a3f2c7aab83afa7d
parentff8df07f6a3239b7f4f2718743f5d78b2419406a
New attribute @params for variables.
helm/dtd/cic.dtd