]> matita.cs.unibo.it Git - helm.git/commit
pure ==> proof_transform for the "by" part of rewriting
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 4 Apr 2001 14:31:56 +0000 (14:31 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 4 Apr 2001 14:31:56 +0000 (14:31 +0000)
commit37a5400d10d8d110f96b7a60700c381072182fba
tree863312072c4224651bbe1f5c38af7136dfd68a02
parentf4b50fddad3bd0cfec71f98cad53220dfd248522
pure ==> proof_transform for the "by" part of rewriting
helm/style/proofs.xsl