]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 72206be) | patch
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
tree78f6f8b123bb5156bb2875230a0857d05ec11a4atree | snapshot
parent72206bee39e35bcc5cf8a7074ade13a4a81c0c08commit | diff
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 diff | blob | history
helm/software/components/acic_procedural/proceduralClassify.ml diff | blob | history
helm/software/components/acic_procedural/proceduralHelpers.ml diff | blob | history
helm/software/components/acic_procedural/proceduralHelpers.mli diff | blob | history
helm/software/components/cic/cicUtil.ml diff | blob | history
helm/software/components/cic/cicUtil.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.