]> matita.cs.unibo.it Git - helm.git/commit
Avoid confusion for names of proofs put in the applicative context.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 21 Aug 2007 10:18:46 +0000 (10:18 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 21 Aug 2007 10:18:46 +0000 (10:18 +0000)
commitb73c1560045798ff1e77491050409a783d915345
tree14d5fcf8bf2c1abda4d39f563135283e7e59a203
parent01fb122158f2f6463e7d8a74d7c98185bcd3c7ff
Avoid confusion for names of proofs put in the applicative context.
helm/software/components/acic_content/acic2content.ml