]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f4b50fd) | patch
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
tree863312072c4224651bbe1f5c38af7136dfd68a02tree | snapshot
parentf4b50fddad3bd0cfec71f98cad53220dfd248522commit | diff
pure ==> proof_transform for the "by" part of rewriting
helm/style/proofs.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.