]> matita.cs.unibo.it Git - helm.git/commit
cicUtil : new test function "is_sober" to test the integrity of a term
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 19 Jul 2007 18:00:55 +0000 (18:00 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 19 Jul 2007 18:00:55 +0000 (18:00 +0000)
commit468ee32f0fc7de271454ed94643b4dd7c9578e5f
tree78f6f8b123bb5156bb2875230a0857d05ec11a4a
parent72206bee39e35bcc5cf8a7074ade13a4a81c0c08
cicUtil        : new test function "is_sober" to test the integrity of a term
                 now fails when fake applications are detected
acic_procedural: some bug fix
helm/software/components/acic_procedural/acic2Procedural.ml
helm/software/components/acic_procedural/proceduralClassify.ml
helm/software/components/acic_procedural/proceduralHelpers.ml
helm/software/components/acic_procedural/proceduralHelpers.mli
helm/software/components/cic/cicUtil.ml
helm/software/components/cic/cicUtil.mli