]> 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)
commit898ac1e6654405a5a4ac31f4ca97acbe0c71c11c
tree744bb180f0f1e88e73a6d748849d100ac9cc03d2
parentc84403b0c5272eb44adafa48ffaf6abdc637fc65
Avoid confusion for names of proofs put in the applicative context.
components/acic_content/acic2content.ml