]> matita.cs.unibo.it Git - helm.git/commit
Temporary patch for threads and and_ind, or_ind, ...
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 3 Nov 2000 16:32:22 +0000 (16:32 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 3 Nov 2000 16:32:22 +0000 (16:32 +0000)
commit51a083ff0a97be71d2748d41c9a526eb839e9c2c
tree31ba69c48fb060251e16f0a262c376f7ef4bcd9c
parent413a5e0b1fde6296a09a6651cef7948bc408c6e4
Temporary patch for threads and and_ind, or_ind, ...
helm/style/proofs.xsl