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