]> matita.cs.unibo.it Git - helm.git/commit
"the thesis becomes" now always performs a change.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 27 Nov 2006 16:50:15 +0000 (16:50 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 27 Nov 2006 16:50:15 +0000 (16:50 +0000)
commit3a841c391df854fa4397521d9bcd775a7804d84e
tree69f224dfbe3dca8328c469d0667c4cb14924081f
parentf9ec0bd466364409050ffccc94e9cb863e2ddf28
"the thesis becomes" now always performs a change.
helm/software/components/tactics/declarative.ml