]> matita.cs.unibo.it Git - helm.git/commit
"obtain H E1=E2 by proof" is now working
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 21 Aug 2007 09:48:14 +0000 (09:48 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 21 Aug 2007 09:48:14 +0000 (09:48 +0000)
commit01fb122158f2f6463e7d8a74d7c98185bcd3c7ff
treef67b3a97d1be465b8a049106ce1f81b5a5b15845
parentbeb2e07d06ead1ba8d20fef3541959ed29748068
"obtain H E1=E2 by proof" is now working
helm/software/components/tactics/declarative.ml