]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 683e526) | patch
Bugs fixed: unification were not really explicit-named-substitutions aware.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 29 Oct 2002 13:56:26 +0000 (13:56 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 29 Oct 2002 13:56:26 +0000 (13:56 +0000)
commit474d5d18dc72061c923976ec9bf7a7f6ef828af3
treeab9de9be5650b59526dcbac319e6213e6069d656tree | snapshot
parent683e52607fa0a711d5703265d587aa91fe564842commit | diff
Bugs fixed: unification were not really explicit-named-substitutions aware.
It just compiled.
helm/ocaml/cic_unification/cicUnification.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.